2022-04-05

anond:20220405175602

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

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

記事への反応 -
  • 金儲けの軸で話してねーんだわ

    • 金儲けの軸じゃねーよ。 お前はそこらへんに放っておいたら野菜出来ると思うんだったら、庭つきの家でも買って、一生野菜買わずに暮らせ。

      • ヒント:人類の歴史100万年 お前の商売の歴史数十年

        • こいつ会話できないな

          • こういうとき構文チェックみたいに 「会話の整合性が取られていません」とか 「相手の職業は明らかにされていません」とか 「〇〇は✕✕であることを証明しなければ本文章は成立...

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

        • 人類の歴史に農耕が入ってないことになるの草

記事への反応(ブックマークコメント)

ログイン ユーザー登録
ようこそ ゲスト さん