サービス終了のお知らせサービス終了のお知らせ いつもYahoo! JAPANのサービスをご利用いただき誠にありがとうございます。 お客様がアクセスされたサービスは本日までにサービスを終了いたしました。 今後ともYahoo! JAPANのサービスをご愛顧くださいますよう、よろしくお願いいたします。
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
ocaml-nagoya - ocaml-nagoya
次回の予定 † 日時：2008/10/22(水) 18:30〜 場所：名古屋大学 IB館 南棟 5階 562室 (あいていれば) 内容 javascript, NekoVM, swf, PHPにコンパイルできるocaml製言語haXe? コンパイラのコードリーディング (小笠原さんがいらっしゃれば) type improvement について ↑ [NEWS] † オープンソースカンファレンス2008 名古屋で発表してきました。 詳しくはこちら OCaml-3.10.2 来ました!(2008-02-29) http://caml.inria.fr/ocaml/release.en.html 3.10.1 からの変更点 主に不具合修正. windows環境下でstr.mliが見付からなかったら、再インストールしましょう。 OCaml-3.10.1 来ました!(2008-01-11) 3.10
良いプログラマを目指すなら「Concurrent Progrmming in ML」は今すぐ読むべき - osiire’s blog
（いえ、どうせ前から広めたいとは思ってたので、ちょっと便乗。） これからマルチコア当り前時代になるし並行処理を扱えるようになりたい。でも並行処理って難し過ぎる。そんな諸氏に朗報です。簡単かつ安全にマルチスレッドを扱える方法があります。 それは、メッセージパッシングによるスレッド間情報共有です。Erlangのようなアクターモデルと言った方がピンとくる人もいるかもしれません。メッセージパッシングの世界にはロックもシグナルも登場しません。あるのは、スレッド間で共有する通信路だけです。なぜ通信路だけで、排他制御が出来るのでしょうか？新しいスレッドを作って、そのスレッドが持つ文字列を読み書きするメッセージパッシングスタイルのプログラムを見れば一目瞭然です。 (* 細かい事は若干単純化したサンプルプログラムです。*) let start_server init_msg = let ch = (* 通信
らくがきえんじん
別アカウントに移動しました。 Haskell の型レベルプログラミングによるセッション型の実装 full-sessions を 晒します． くわしくはこちら → http://d.hatena.ne.jp/keigoi/20090622 π計算の型に セッション型というのがあって、そいつを Haskell上に実装して PPL2009 で発表しました。 ソースコードはこちら 発表論文はこちら 気をとりなおして。 Haskell用の C言語のパーザライブラリ Language.C の意味解析機能を使ってみる。 まずはグローバルスコープのシンボルテーブルを表示してみる。 こんなことができる 入力 (sample.c) enum enum1 {x, y, z}; void fundec1(); struct st1 { int a, b; }; typedef struct st2_ { int
SML# - Windows上でMLとCのプログラミングを学ぼう
[ トップ | 目次 | 前ページ | 次ページ ] CとMLは互いに計算に関する考え方の異なるプログラミング言語である． Cは計算機のメモリー構造へのアクセスと変更を基本とし， MLは関数を定義し関数を組み合わせ値の計算をすることを基本とする． これらは，どちらが基本的とかより優れているといったものではなく，相補的な概念である．Cのプログラムでも多数の関数が利用され，また、MLの実用的なプログラムでもメモリー構造へのアクセスや更新が必用になる場合がある． さらにこれら二つの言語は，プログラムの典型的な二つの側面を代表している．プログラミング言語は，計算機が実行する計算を記述するための言語である．現在のデジタル計算機は，メモリーの変更を繰り返すことによって計算を行う．Cは，この計算機上で行う計算に忠実なモデルをプログラマに提供する．プログラマは，C言語を通じて，実際に行われるメモリーへの変
プログラミング言語 Standard ML 入門
核言語，モジュールシステムの解説のみならず，Standard ML基本ライブラリ (The Standard ML Basis Library)の詳細な解説とそれらライブラリを使った インターネットプログラミングプロジェクトを含む最新の入門書． 更新情報（令和２年9月22日） 練習問題の解答例の誤り等を修正。 「テキスト中のプログラムのソースコード」執筆再開 テキスト中のプログラムのソースコード 練習問題の解答例 (New Version) 正誤表 （Errata） 「プログラミング言語Standard ML入門」に準拠した解説スライド（日本語，Core ML部分のみ，暫定版） （少々大きなPDFファイル） 「プログラミング言語Standard ML入門」に準拠した解説スライド（英語版） （少々大きなPDFファイル，3７８ページ） Standard MLプログランミングのシラバス例，試験問
新北野MLラビリンス
「新北野MLラビリンス」へようこそ。 ここは、 MLというプログラミング言語の紹介を目的とするウェブサイトです。 MLのすばらしさを一人でも多くの人に伝えるため、 末永くメンテナンスを続けていきたいと思っておりますので、 なにとぞよろしくお願い申し上げます。
SML with GNU
Autoconf,AutomakeなどGNUツールでSMLプログラムを扱う方法 autoconf macro package for SML-NJ このページで説明している各種のチェックをおこなうautoconfマクロを作成しました。 こちらで説明しています。 configure.in に記述するチェックはこれらのマクロを使用することで大幅に 省略できます。 SMLの実行ファイル名の判定 Unix上ではAC_CHECK_PROGでsmlコマンドが存在することを確認でき る。 しかし、Windows版ではsmlはバッチファイル (sml.bat/sml-cm.bat)としてインストールされ、 AC_CHECK_PROGがこれを認識してくれない。 仕方ないので、つぎのようにCygwin環境とそれ以外の場合とで判定方法を別に する。 AC_CYGWIN : if test x"$CYGWIN"
Objective CAML Tutorial
This website is a set of practical, detailed tutorials for people who want to learn Objective CAML (often known as just "OCaml"). OCaml is a fast, concise and powerful language for application development - but I assume you already knew that, and I also assume you've managed to install it. If not, you can find out more at the main OCaml webpages or at the OCaml Alliance's getting started area. For
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
速攻MinCamlコンパイラ概説
OCamlチュートリアル
Objective Caml 入門
はてなブログ | 無料ブログを作成しよう
超特急: 一時間でわかるML超入門
東京理科大学情報科学科
http://www5a.biglobe.ne.jp/~sasagawa/MLEdit/
初心者が書いた OCaml 入門
児玉研究室（法政大学経営学部）のホームページは移転しました。
ML Modules and Haskell Type Classes: A Constructive Comparison | Lambda the Ultimate