DMDのコード内ではargcが0な環境を想定してコードが書かれているが、そういう環境は存在するのだろうか。 調べてみるとわりとすぐにstackoverflowがみつかった。 c - executing a process with argc=0 - Stack Overflow posix_spawnを使えばできるようなので…

ここ最近Isabelleを触っている。 Coqと比べると日本語の資料が少ないのでつらい。 とりあえずいろいろわからないことが出てきたので並べてみる。 2以上の自然数を扱うと簡約できない 例としてmap関数を定義する。 fun map :: "('a \<Rightarrow> 'b) \<Rightarrow> 'a list \<Rightarrow> 'b list</rightarrow></rightarrow></rightarrow>…