ocaml.jp

ktjtn.blogspot.com

tech and non-tech note: 4月 2016

https://ktjtn.blogspot.com/2016_04_01_archive.html

Tech and non-tech note. いまさらながら Xen の管理ツール？か何かは OCaml で書かれているというのを知り、ごそごそと OCaml 周辺のことを調べて、メモ。 前述の jp なサイトにオススメ書かれているのでそれをみるとよい。 Real World OCaml でぐぐってみると、とても良いらしいのが伺える。（日本語版なし）. Real World OCaml の著者陣に名を連ねている Anil Madhavapeddy 氏は Unikernel の中のひとで、今は買収されて Docker の中の人。もはや Xen の中の人ではなくなったのかしら。OpenBSD ハッカーでもあり。 Yaron Minsky 氏は Jane Street というとこの中の人、. Jane Street の wikipedia のページ. をみるとちゃんと（？）OCaml のことも書かれている。その界隈ではよく知られたことなんだろう。 65288;Google で 'ocaml' でニュース検索しただけ・・）. MirageOS でも使われているよ https:/ mirage.io/.

itpl.co.jp

論文/書籍/記事/講演 - 有限会社ITプランニング(IT Planning Inc.)

http://itpl.co.jp/tech/articles/index.html

名著TAPL(Types and Programming Languages)の翻訳本の執筆に弊社社員が参加しました。 著者 Benjamin C. Pierce 著. 遠藤侑介 酒井政裕 今井敬吾 黒木裕介 今井宜洋 才川隆文 今井健男 共訳. 2013年1月18日開催のエンジニアサポートCROSS 2013の 関数プログラミングの波に乗り遅れるな のセッションにて、弊社社員が講師を努めました。 PPL2012サマースクール、関数型言語ベースの先進的Webフレームワークにおいて、 OCamlで構築するモダンWeb 型付きHTML5プログラミングの実際 と題して弊社社員が講師を努めました。 弊社社員が、2012年3月22日,23日に開催されたトップエスイー特別講義 定理証明と検証 の講師を努めました。 2012年3月5日開催の SEA Forum March 2012 実用期を迎えた関数プログラミング. 9th WOCS)にて、弊社社員がCoqを用いたミドルウェアの検証事例について”対話的定理証明支援系によるミドルウェア検証”と題して発表致しました。 国内OCaml情報 : OCaml.jp.

itpl.co.jp

お問い合わせ - 有限会社ITプランニング(IT Planning Inc.)

http://itpl.co.jp/inquiry/index.html

国内OCaml情報 : OCaml.jp.

itpl.co.jp

システム構築/受託開発 - 有限会社ITプランニング(IT Planning Inc.)

http://itpl.co.jp/products/develop/index.html

IPhone端末, iPad端末, Android端末用FX取引クライアント. 株)アイズ様の スマートデスクトップ クライアント の一部モジュールを請負開発し，その際証明支援器Coqを適用しました。 国内OCaml情報 : OCaml.jp.

itpl.co.jp

製品/サービス - 有限会社ITプランニング(IT Planning Inc.)

http://itpl.co.jp/products/index.html

国内OCaml情報 : OCaml.jp.

itpl.co.jp

ocaml-nagoya - ocaml-nagoya

http://itpl.co.jp/ocaml-nagoya

Http:/ www.itpl.co.jp/ocaml-nagoya/index.php? YEAR OF THE CAT. 参加登録: http:/ partake.in/events/1a51f490-3045-47f5-8cff-ac555ad20475. 参加: http:/ partake.in/events/1d53d158-e5b1-41c2-be20-49694a6d3081. 参加登録: http:/ partake.in/events/390127b2-4b0f-4702-977c-086b6d773db7. 内容: 宮城の郷土料理 芋煮 を食べながらSML#について問い詰めようの会. 参加登録: http:/ partake.in/events/9a1490b3-60d6-440c-af4d-64eabedc256e. 2010 09/10(金) 18:00 - 19:30. 参加登録: http:/ atnd.org/events/7663. 2010年05月13日(木) 17:00 - 18:00. くわしくは http:/ ocaml.jp/?

mayah.jp

OCaml 基礎最速マスター - MAYAH

http://mayah.jp/article/2010/ocaml-基礎文法最速マスター

OCaml は Haskell とは違って純粋でない関数型言語です。 ML (Meta Language) という言語ファミリーの方言の一つで、フランスの INRIA という研究所で開発されています。 他の言語をある程度知っている人は、これを読めば OCaml のとりあえずの基礎をマスターして OCaml を書くことができるようになります。 Ocaml Objective Caml version 3.11.1 #. 1; - : int = 1 # "some"; - : string = "some" # 1.0; - : float = 1. # 'a'; - : char = 'a'. 10 は float 型になっていますが、OCaml の float は C の double と同じです。 C の float に相当する型は、標準にはありません。 1- : unit = (). OCaml の変数は普通の言語の変数とはちょっと違って、 値に名前を付けたもの です。 C でいうところの const が付いていると思ってもらえれば、しばらくは OK です。 Let 変数名 = 式１ in 式２.

itpl.co.jp

オープンソース - 有限会社ITプランニング(IT Planning Inc.)

http://itpl.co.jp/tech/codes/index.html

O'Caml on Android : 安全なAndroidネイティブ開発. O'Caml on Android メモリ安全/型安全なAndroidネイティブ開発. 弊社社員が、OCaml の Android 向けクロスコンパイラ化パッチ O'Caml on Android. Androidアプリ OCaml Toplevel on Android. Android 上で OCamlのインタープリタを試すことができる試験的なアプリケーションで，Android Market よりダウンロードできます。 OCaml Toplevel on Android. 国内OCaml情報 : OCaml.jp.

itpl.co.jp

有限会社ITプランニング

http://itpl.co.jp/index.html

弊社社員が講師を努めるトップエスイー講義 定理証明と検証 が2013年8月8日,9日に開催されます。 名著TAPL(Types and Programming Languages)の翻訳本の執筆に弊社社員が参加しました。 著者 Benjamin C. Pierce 著. 遠藤侑介 酒井政裕 今井敬吾 黒木裕介 今井宜洋 才川隆文 今井健男 共訳. 国内OCaml情報 : OCaml.jp.