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

Coq 庵 - Coq プログラマのアンカンファレンス in 名古屋 (8/29)」記事へのコメント

未知のハックに一心不乱に取り組んだ結果、私は自然の法則を変えてしまった -- あるハッカー

処理中...