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

▽とある電気系出身者のいんでっくす
●02/28 21:23
あたしﾝちなら､準ﾚｷﾞｭﾗｰくらいにはなれると思う日常系の才能ｵﾌﾗｲﾝﾗﾌﾞを見終わった｡いい番組は見終わったあとも心に残り､自分の人生に干渉してくる｡ 私が恋愛ﾘｱﾘﾃｨ番組に出たらどうなるんだろうとふと思った｡客観的に考えて､私が誰かに相手にされる気がしない｡第一印象で話しかけたいと思われるような容姿ではな…将来は猫と一緒に暮らしたい都会の時間とｼﾞｬﾝｸﾞﾙの時間は全然ちがう旅の時間感覚旅する一日の時間は日常生活の一日より長く感じる｡ 自分の生活していた場所からの移動距離が離れるほど殊更､時間間隔が永くなる｡ 日本を離れてたかが4日だが､日本を離れたのが随分と昔のように思えて不思議な感覚だ｡ 毎日同じようにﾙｰﾃｨｰﾝを繰り返す日常で…片道書簡のﾗﾌﾞﾚﾀｰ旅豆花､最高｡ﾊﾄ麦の香りがよくてﾀﾋﾟｵｶはもっちもち2025.1.27～2.2（夜砂糖をやめて感じる空腹で食べる

▽K　blog
●02/14 19:06
投稿日:2025/02/132025/02/13ﾏﾚｰｼｱ生活中年男性が Mont Kiara 周辺4店舗で散髪したので比較投稿者 kazoo中年男性が Mont Kiara 周辺4店舗で散髪したので比較にｺﾒﾝﾄﾀｲﾄﾙ通りだけど､Mont Kiara x 1､Desa Sri Hartamas x 3の計3店舗で散髪したので､個人的な観点から比較してみる｡ 前提 店舗の感想 A-Saloon 1 Mont Kiara Suri…続きを読む中年男性が Mont Kiara 周辺4店舗で散髪したので比較2025年2月

▽這い寄るゆろよろ･ｱﾝﾄﾞ･ﾗｲｼﾞﾝｸﾞﾌｫｰｽ日記
●01/24 04:44
701 notes

▽航海日誌
●01/10 01:06
録画予報 2025-Q1keisuken, 2025/01/08 22:08:10録画予報 2025-Q1ｽｹｼﾞｭｰﾙ曜 番組 時間 CH 評価 録画機月 ﾊﾞﾊﾞﾝﾊﾞﾊﾞﾝﾊﾞﾝﾊﾞﾝﾊﾟｲｱ 01:00-01:30 BS朝日 ? 1,2火 ｻﾗﾘｰﾏﾝが異世界に行ったら四天王になった話 00:00-00:30 BS11 ? 1,2火 ありふれた職業で世界最強 S3 00:30-01:00 BS11 2.5 1,2水 外れｽｷﾙ《木の実ﾏｽﾀｰ》 00:30-01:00 BSﾌｼﾞ ? 1,2水 Unnamed Memory 00:30-01:00 BS11 ? 1,2水 火の鳥 23:00-23:25 NHK総合 ? 1,2水 誰ｿ彼ﾎﾃﾙ 23:00-23:30 BS日ﾃﾚ ? 1,2木 いずれ最強の錬金術師? 00:00-00:30 BS11 ? 1,2木 妃教育から逃