ギコ猫でもわかるファミコンプログラミング
ｷﾞｺ猫でもわかるファミコンプログラミング ∧ ∧ ～′￣￣( ﾟДﾟ)＜ファミコン、シロ！ UU￣￣ U U 「ｷﾞｺ猫でもわかるファミコンプログラミング」は、 任天堂ファミリーコンピュータ（ファミコン）のエミュレータで動作する、 8ビットアセンブラプログラムの勉強サイトです。 内容には技術的な間違いがある可能性があります。 サンプルソースはあまり整理されておらず、最適化もされていません。 また、内容は予告無しに修正されます。各自の責任においてご覧ください。 なお、このページには自由にリンクして頂いて結構です。 2010/11/1 iswebのサービス終了に伴い、 hp.infoseek.co.jpにおいてあったソース等のファイルが全て消えました。 ここに全てのファイルをアップしましたので、 ご利用下さい 「ファミコンプログラム入門」更新履歴 ファミコンプログラム入門 第１章 はじめに
証明検証系Mizarを試してみる - 檜山正幸のキマイラ飼育記 (はてなBlog)
Mizarは証明検証系です。形式的な証明記述言語とその処理系という括りではCoqやIsabelleの仲間ですが、対話的ではないので使い勝手はだいぶ違います。とりあえずインストールして使ってみましょう。 内容： インストール 使ってみる 感想 インストール Mizarのオフィシャルサイトは： http://mizar.org/ 信州大学の日本語ページもあります。 http://markun.cs.shinshu-u.ac.jp/kiso/projects/proofchecker/mizar/index-j.html 信州大学のアーカイブから、自分の環境に応じたバイナリをダウンロードします。 ftp://markun.cs.shinshu-u.ac.jp/pub/mizar/system/current/ （バイナリの一覧） Windowsの場合、現時点（2016年12月）ではmizar-8
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Just a moment...
