成功した失敗体験
あすたーいずむ
npub15glt...k87e
超解像度
クリスマスプレゼントに狂気と覚悟がほしいといったのはいつだったかと調べたら 2 年前だった。今年もほしい。
狂気
ロジバンの元のモチベーションにかなりコンピュータと人間の協働みたいなのあったっぽいしなあ。最近 Toaq という人工言語にちょっと興味があるので、Toaq の LSP とか tree-sitter とか、見てみたい（言うだけなら無料）
論理言語 (loglang) と言われる人工言語の LSP とか tree-sitter ならプログラミング言語と同じ精度でできそう。というかロジバンとかすでにありそう。
tree-sitter-japanese
自然言語 LSP、そういうのもあるのかー
修論を書くペースはだんだんできてきたけど、締め切りまでにどこまで完成するか……
寒い日って水に触りたくなさすぎるので、冬は無洗米の売り上げが伸びたりするのだろうかと思った
ミラノ風ドリアの冷凍食品を見ると、「ミラノ風ドリア」ってサイゼリヤの商標とかじゃないんだ……となる
フォント頑張れ！（日本人、中国語フォントにかなり敏感そう）
Even Realities | スマートグラス & ウェアラブル技術
Even Realities | スマートグラス & ウェアラブル技術
日常生活のために設計されたウェアラブル技術。あなたの能力を高めながら、自然に日々に溶け込むスマート...
Even G2、技術的制約なのだろうけど、緑の文字でドットも粗そうだから、確かに SF っぽさがすごい。というか、そのもとになった初期のコンピュータの画面に立ち返ってきているのかな
math
すごそう
【“通訳するAIメガネ”日本上陸】元Apple Watch開発者のスマートグラス「Even G2」／英語ダメでも“日本語字幕”で解決／プレゼンの“カンペ”に変身／スマホ超える体験【1on1 Tech】 - YouTube
午前中に生産的なことに着手できた試しがない
起きる
印象が真逆でした。Agda の方が単純で、Haskell の方が幅広く使えるぶん複雑で難しいと思い込んでた。Haskell はまったくやったことがないのでただのイメージというか偏見ですが。
Agda からプログラミングに入門するの今の自分には最適な気がする。PLFA を使って講義した人の一覧に名前を知っている数学者がごろごろいるし。
Gemini に「Agda を学べば Haskell のコードは 8 割方読めるし、逆もまた同様」と言われたのだけど、本当かしら
読みたい
Programming Language Foundations in Agda – Table of Contents
Programming Language Foundations in Agda – Table of Contents