yaottiのブックマーク - はてなブックマーク

Coq参考資料 - fm-forum @ ウィキ

Coq参考資料教科書 "Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive" Springerから出版されているCoq本。良い本なのだが値段も高い。 Certified Programming with Dependent Types (http://adam.chlipala.net/cpdt/) Harvardの授業で使用 (PDF 360ページ程度)。定期的に改訂されている。 (Latest 2010/2/3) CPDTは関数型言語プログラマにとってCoqを理解しやすいいいテキストだと思います。読む時は「Certified Programming with Dependent Types関係」も参照の事。チュートリアル The Coq Proof Assi

yaotti 2011/04/27

coq

リンク

AppleScript - iTunes for Mac まとめ

AppleScript アップル・スクリプトをメニューバーから使用するには、ユーザ / ホーム / ライブラリ / iTunes フォルダに "Scripts" フォルダを作成し、そこにスクリプトファイルを置きます。 AppleScript のマニュアル（英語）は、スクリプトエディタ.app のメニューバー＞ウインドウ＞ライブラリ（shift+コマンド+L）リストから「iTunes」をダブルクリック。アップル AppleScript http://www.apple.com/jp/macosx/features/applescript/ iTunes AppleScript http://www.apple.com/applescript/itunes/ サンプルスクリプトpause play play (playlist) playpause stop next track back

yaotti 2010/11/24

applescript

リンク

NetworksFAQs - 5ch-Linux-Beginners

メニュートップページ質問についてスレッド過去ログスレの立て方テンプレート FAQ全般 Linux全般ディストロ全般導入関係インストール全般インストールCD作成 HDDパーティションマルチブートプレインストールPC CPUアーキテクチャ VirtualPC RPM系Dist Fedora CentOS SUSE Linux Mageia PC LinuxOS Vine Linux Berry Linux Scientific Linux Deb系Dist Ubuntu Linux Knoppix ディストロ他 Gentoo Linux ディストロ情報設定設定ファイルネットワーク接続 X11 3Dデスクトップハードウェア印刷 TVチューナーフォントシステム OS全般起動シェル操作コマンドファイルシステムサーバー/デーモン Windowsからアプリ追