HOL4 のインストールスクリプトは http://d.hatena.ne.jp/ehito/20130219/1361260859 に書きましたが,システムとして HOL Light と大きく異なる点を幾つか述べます. まず,ライブラリーのロードとオープンについてです. デフォルトでの起動では,例えば - Induct; > val it = fn : term list * term -> (term list * term) list * (thm list -> thm) は良くても - INDUCT_TAC; ! Toplevel input: ! INDUCT_TAC; ! ^^^^^^^^^^ ! Unbound value identifier: INDUCT_TAC のように知らぬ素振です.ところが help で尋ねると - help"INDUCT_TAC"; -----
IDL初心者マニュアル 利用方法、コマンド一覧。 C言語より楽がしたい貴方に捧ぐIDL初心者マニュアル 印は作成中の部分です 猿でもわかるIDLの プロデル 日本語でソフトウェアを「造る」ことができるプログラミング言語「プロデル」と、開発環境「プロデルデザイナ」の紹介サイト。マニュアル、リファレンス、雑談・質問の掲示板など。 日本語プログラミング言語 プロデル プロデル ホーム プロデルとは プロデルとは TTSneoとの違 cupOF Interests PHP、javascript、Laravelなどのプログラミングに関する記事を掲載。開発ツール、Webデザイン、ガジェットなどの話題も。インターネットスタートページ BASIC、C、C++、C#、VRML、JavaScript、DHTML、Perl、Java等のテクニカルドキュメント、アプリケーション構築のヒント。teratail エン
IDL初心者マニュアル IDL初心者マニュアル プロデル プロデル インターネットスタートページ インターネットスタートページ teratail teratail マイナビニュース - ダイナミックObjective-C マイナビニュース - ダイナミックObjective-C 日本Pythonユーザ会 日本Pythonユーザ会 Tiny Basic for Windows Tiny Basic for Windows ホーム 説明文書 スクリーンショット ダウンロード BASIC入門 プログラミングの背景 更新記録 Python with Hardware Python with Hardware グループスレッドすべてのグループとメッセージGoogle にフィードバックを送信ヘルプトレーニ D言語研究室 D言語研究室 C/C++に疲れた人のD言語2.0 C/C++に疲れた人のD言語2.
以前から興味のあったocamlを学ぶため、手始めにOCaml超入門を読んでみた。 ML系は関数型言語ながら、手続き型言語のような順序評価や値を変更できる変数がある。 モナドと付き合わなければならなさそうなHaskellよりはとっつきやすい。 CやC++で書かれたライブラリを利用する拡張モジュールも書きやすいのではないかと予想する。 CamlでないMLは「初級ML講座」を読んでかじったことがあったのだが、そのときの記憶はすっかり忘れていた。 予約語や文法はCamlとMLでは大筋では似ているのだが、異なる部分も随分あるようだ。 当面はより詳しい解説に当たるとともに、なるべく早く拡張モジュールを一つ書いてみたい。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く