2023-03-26

クロミうざ

やったこと

• LSH
• トッポギみたいなやつ食べた
• NN

ボッシュシーズン2を観始めた。シェルの開発をする日だけボッシュを観てもいいことにしようかな。

lsh

lshの続きを書いていた。exit と cd, ls を実装して、なんかそれっぽい動きをするようになった。 あとは exec かなー、最低限だとしてもexecがないとシェルとは呼べない気がする。

コードを書いていて、やっぱり俺は車輪の再発明が好きなんだなと思った。いままでブラックボックスとして扱っていたものの中身を知った結果、内部動作が想像できるようになる瞬間がめっちゃ興奮する。シェルも再発明してみたら、根気さえあれば実用に足るものを書けるなと思ったし、他に何のやり方を勉強すればいいかも見当がついた。いいね。

トッポギみたいなやつ

トッポギと辛ラーメンが混ざったやつみたいなのを親がくれたので作って食べた。めちゃ辛くて大変だった。いや辛いというか味自体は甘くもあって、味覚じゃなくて刺激で攻めてくるタイプの辛さだった。クロミちゃん？コラボをしていて、特製の激辛ソースがクロミちゃんパッケージだった。辛すぎるせいでクロミとかいうやつ嫌いになりました。絶対悪ぶって手加減できないタイプのクソアマだろ。知らんけど。

思ったこと

楽しいのは演繹

知らない人の日記 を読み、わかるなあという気持ちになった。

結局、論理というか、「確実に正しいものを積んでいって非自明なものを生む」というプロセスの不在が気にいらないんだよな。自然科学って基本的に、なんか世界に対する観測事実があって、それをモデル化して、そこから演繹してくと色々便利です、という話だと思うんだけど、計算機科学は、モデル化あたりまで人間が勝手にできる、つまり世界を好き勝手に作れるところが魅力だと思ってたのだけど、今 AI と呼ばれている、帰納的な AI はそれがないんだよな。「AI が何故こんなに賢いのか？」を人間が考えないといけないというのは、まさに自然科学ぽい

自然科学が嫌とかではなくて、やっぱりモデル化とそこからの演繹に楽しみがあるんだよなあと思う。計算や計算まわりの数学分野は、どんな性質を持つどんな世界を考えるかの定義から始められるし、その定義こそが実世界をどのように抽象化するか、という面で現実世界に活かされていることになる。

こういった「抽象化と演繹」こそが学問として好きなところだから、そこを欠いている存在である帰納的なAIの中身には興味を持てていないんだろうなという気づきがあった。

元の日記はこれを「計算科学が自然科学に抱き込まれる」という捉え方をしていて面白い。いい視点だなあ。

これは水です。

これは水です。 というエントリを読んだ。岡本太郎の思想と合わせていろいろ思うところがあったけど、まだ言葉にできていない。また明日読んで咀嚼しなおす。