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

関数型プログラミング言語「Agda」の研修コースを産総研が開催」記事へのコメント

「科学者は100%安全だと保証できないものは動かしてはならない」、科学者「えっ」、プログラマ「えっ」

処理中...