パスワードを忘れた? アカウント作成
この議論は賞味期限が切れたので、アーカイブ化されています。 新たにコメントを付けることはできません。

証明支援システムCoq、新しい名称を検討中」記事へのコメント

  • by Anonymous Coward on 2021年06月18日 14時10分 (#4053515)

    なんでいちいち外国の言葉にするんだ?

    • by Anonymous Coward

      よし、まずはプログラミングを日本語ベースの単語で呼ぶことにしよう

      ソフトウェアは軟件でいいのか?

開いた括弧は必ず閉じる -- あるプログラマー

処理中...