「Agda」を含む日記

■anond:20220405175602

https://ja.wikipedia.org/wiki/Coq

Coq, Idris, Agdaあたりの言語がその課題に対するテクノロジーではあるけれど、日本語を入力にするのが大変そう

Permalink | 記事への反応(0) | 18:02

ツイートシェア

■anond:20201222030018

これ世界史でならっておもったけど骨とか打とか入ってて強そうだししかもドキュンな読み方だし強いんだが

それはわしらが表意文字になれとるからであって

カタカナで読み方だけ提示されればドイツ人じゃないか？くらいにおさまっちゃうんだよなぁ

Wenyen　Agda　くらいのドイツ人いそう

逆に表意文字でちょっとドキッとするのは

愛新覚羅溥儀とかもするじゃん

なんとなく博愛に覚った修羅みたいな感じ

Permalink | 記事への反応(0) | 03:10

ツイートシェア