機械語から理解するMN-Core
もうすぐコンテストがあるそうなので、予習してみました。(書きかけです) 機械語の読み方 引数を設定してvsmファイルをアセンブラに投げると読みやすくなる --print-asmをつけるとコードの...
3
2
Comment0
7 search resultsShowing 1~7 results
Stocked
You need to log-in
PWMの出力をAMラジオに聞かせる方法。
PCラジオに触発されて ardionoできれいな音を出そうとするとPWMを使うことになります。 これをそのまま利用してAMラジオの電波を飛ばすことができます。 やりかた ardiunoに適当にプ...
2
2
Comment0
論理学の考え方でつくられた、LLプログラミング言語 obake
LLプログラミング言語 obake 論理学の考え方で、 関数型プログラミング言語の定義＆実装の仕方の例に触発されて、 深夜アニメを見ながら OCamlでつくられた、 脱関数型プログラミング言語 ...
48
46
Comment4
Write Yourself a Theorem Prover in 48 Hours (その4)
去年のアドベントカレンダーの続きです！ Coqみたいな定理証明器のおもちゃみたいなのをHaskellを使って1年と48時間ぐらいで作れるかな？って話です。 去年の記事は http://qiita...
9
8
Comment0
Write Yourself a Theorem Prover in 48 Hours (その3)
誰でも定理証明器を作れるようになろうという趣旨です。ここではCoqのパクリみたいなサブセットを48時間で作ります。 前回 http://qiita.com/kikx/items/b0eda41b...
9
9
Comment0
Write Yourself a Theorem Prover in 48 Hours (その2)
この記事は定理証明アドベントカレンダー2013のたぶん?日目の記事です 誰でも定理証明器を作れるようになろうという趣旨です。ここではCoqのパクリみたいなサブセットを48時間で作ります。 前回 ...
7
7
Comment0
Write Yourself a Theorem Prover in 48 Hours (その1)
この記事は定理証明アドベントカレンダー2013のたぶん7日目の記事です 誰でも定理証明器を作れるようになろうという趣旨です。ここではCoqのパクリみたいなサブセットを48時間で作ります。 タイト...
18
23
Comment0
7 search resultsShowing 1~7 results
Qiita is a knowledge sharing service for engineers.
- You can follow users and tags
- You can stock useful information
- You can make edit suggestions for articles