y_taka_23 https://blog.hatena.ne.jp/y_taka_23/ チェシャ猫の消滅定理 https://ccvanishing.hateblo.jp/ Coq で自己出力プログラム、いわゆる Quine を作成してみました。全体の流れとしては情報処理学会の連載「自分自身を出力するプログラム」の Haskell 版を参考にしてあります。今回のコードは短いので記事の最後に全体を載せてありますが、一応いつものごとく Gist 上 https://gist.github.com/4700318 にも同じものを置いておきました。 Coq の特性あれこれ Quine なるものを初めて聞いた人は wikipedia:クワイン_(プログラミング) あたりを見てみましょう。「自分自身のソースコードを標準出力する。ただし空ファイルでなく、入力は受け付けない」とい… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fccvanishing.hateblo.jp%2Fentry%2F2013%2F02%2F03%2F133158" title="Coq で Quine - チェシャ猫の消滅定理" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2013-02-03 13:31:58 rich https://ccvanishing.hateblo.jp/entry/2013/02/03/133158 1.0 100%