▽酒中日記
●04/03 13:52
1 不動産2 金融･ﾏﾈｰ3 車･ﾊﾞｲｸ4 ｹﾞｰﾑ5 歴史6 競馬･ｷﾞｬﾝﾌﾞﾙ7 ｽｸｰﾙ･ｾﾐﾅｰ8 癌9 ｽﾋﾟﾘﾁｭｱﾙ10 健康･医療

▽はじめてのにき(ねむい)
●04/03 11:52
2025-04-03_ switch 2ｹﾞｰﾑ機って､基本的に1世代前は同じHW積む､2世代前はｴﾐｭで､みたいな感覚という理解だったけど､1世代前をｴﾐｭでやってやったぜ､て感じなのかな｡すごそうhttps://www.nintendo.com/jp/interview/switch2/04.htmlPS3 というか cell が大変で PS5 ですら PS3 互換なかった､というのを思いだした(02:34)[ﾂｯｺﾐを入れる]

▽2004年 5月 (2)｡
●03/30 23:25
Mar. 2025Last Modified: Sun Mar 30 07:55:24 UTC 2025You know... 2025-03-30 [Sun] 16:01As much as I hate to admit, but最近､なんかﾃｷﾄｰなｽｸﾘﾌﾟﾄを書くのに新山が使う言語はPython よりも JavaScript (node.js) が多くなってきた｡これにはいくつか理由がある:node.js は Pythonにありがちな環境汚染 (複数ﾊﾞｰｼﾞｮﾝのﾓｼﾞｭｰﾙが混じってしまうこと) がない｡ﾃﾞｰﾀ処理は Python のほうがやりやすいのだが､httpｻｰﾊﾞ･ｸﾗｲｱﾝﾄに関する処理は node のほうが手軽に書ける｡そして起動速度･実行速度もPythonより早い｡ちなみに最近また lynx をﾌﾞﾗｳｻﾞとして使い出した｡日本語ﾊﾟｯﾁとか当てなくても

▽はてなﾀﾞｲｱﾘｰ - 言語ｹﾞｰﾑ
●03/29 19:06
2025-03-29長女の外出恐怖育児 不登校前回精神科にて､ｾﾛﾄﾆﾝ再取り込み阻害薬の処方には本人の治したい意思の確認が必要だと伺ったので､妻がそれとなく長女に｢外出しても怖く無くなる薬を飲む?｣と聞いた｡私の予想では長女は意味もわからずお母さんの言う事だから同意すると思っていたが､予想外に残念な結果に終わった｡長女ははっきりと｢飲みたくない｣と言った｡｢今は家の外に出るのが怖いから､外に出なくて済む｡もしも薬を飲んで外に出れるようになったら､怖い危険な目に遭うかも知れない｡だから薬は飲みたく無い｡｣という事だった｡もしも本当は外に出たいけど恐怖のために外に出られないという回答だったら薬によって治療は進んだかも知れない｡しかし､本当に外に出たくなくて本人は恐怖にﾒﾘｯﾄを感じているようだったら事態は難しく精神科にできる事は無い｡私は長女の返事を残念に思いながらも､妙に理屈が通

▽Onion開発停滞日記
●03/26 13:24
2023-08-28Scala 3で型ﾚﾍﾞﾙ自然数をやってみたらすごく簡単になってたScala 3､正式ﾘﾘｰｽされてからそこそこ経ってますが皆さん使ってますか？実は自分は､主にIntellij IDEAのScala 3対応に不安もあってScala 2.13系列をずっと使い続けて来たのですが､最近はScala 3対応も進んできたようなので乗り換えを始めることにしました｡で､手始めにということで型ﾚﾍﾞﾙ自然数（型ﾚﾍﾞﾙﾍﾟｱﾉ数）を定義してみることにしました｡型ﾚﾍﾞﾙ自然数は読んで字の如くで､型のﾚﾍﾞﾙで自然数をｴﾝｺｰﾃﾞｨﾝｸﾞしちゃおうって技です｡依存型のある言語なら最初からあるので､わざわざ型ﾚﾍﾞﾙ自然数とか大仰な言い方しなくてもいいのですが､それはそれとして論より証拠｡早速､Scala 3で型ﾚﾍﾞﾙ自然数を定義してみます｡enum Nat { case Zero case Suc