You should be redirected automatically there.
You should be redirected automatically there.
あさいです。 プログラミング言語の基礎理論を研究しています。 どうすれば無駄なくプログラムを実行できるか、楽にプログラムを作れるようになるか、プログラムの誤りを減らせるか。 対象をよく理解しその本質をとらえると、自然と物事は簡単なものの組み合わせになってきます。 研究室NEWS 以下の論文がカテゴリ1 (国内外未発表枠) で発表されました。 論理関係によるshift/resetの部分評価器の正当性の証明 (横関, 浅井) 定義のデータ化による証明木可視化システムMikiβの拡張 (大石,浅井) 以下のポスタがカテゴリ3 (ポスター・デモ発表) で発表されました。 OCaml Blockly を使った中学生向けの１次関数の学習教材 (大石,窪田, 柴田, 茅根, 横関, 浅井) OCaml Blocklyのチュートリアルサイトの理解度向上に向けた改善 (柴田, 浅井) UniverseJsラ
このページは最後に更新されてから1年以上経過しています。情報が古い可能性がありますので、ご注意ください。 OCaml 3.11からはlazyパターンが導入されました。 まずはOCamlの遅延計算がどのようなものであるか、どのような問題点があったかを簡単に解説します。そして、lazyパターンを導入したことによって、どのように解決されるかを解説します。 おさらい: OCamlの遅延計算 OCamlでは一般のプログラミングと同様に正格評価が行われますが、lazyキーワードによって遅延計算を行うことができます。 lazy (do_something ())によって計算が遅延され、 遅延された計算はLazy.forceによって評価されます。一度、評価した式の結果は保存されるので、複数回同じ式が評価されることはありません。 例えば、以下の例ではlet x = lazy (print_endline "
Androidで動作するOCamlインタプリタ OCaml toplevel on Android を Android Market に公開しました。 OCamlのトップレベル(インタプリタ)をAndroid上で操作できます。 enjoy! 仕組み OCamlトップレベルはネイティブ実行されます(OCamlバイトコード+libcamlrun.a)が、AndroidのアプリはJava VM(dalvikvm)上で動作するため、両者のブリッジが必要でした。 いくつかの方法があり、一部は先日書きましたが、今回の OCaml toplevel on Androidはこのなかのどれでもない、最もイージーな方法を使っています…。 それは 「あるスレッドでocamlトップレベルをバイトコード実行し、標準入出力を介してAndroidアプリのメインスレッドと通信する」という方法です。 stdoutを入力とし
OCaml のすすめ OCaml とはフランスの 情報技術系の研究機関の INRIA で開発されている関数型言語 ML (の方言) です。ML には多相型、型推論、ガーベージコレクション (GC)、 データ構造のパターンマッチング等、プログラミング言語理論の研究の 成果 (すごく最新のものと言うわけでは無いそうですが) が詰め込まれ ています。これらの目的・効用は、 コードの再利用の範囲が大きい (多相型) コードの記述量が短かくなる (型推論・データ構造のパターンマッチング) バグの入り込む余地が少なくなる (GC、関数的(副作用の少ない)プログラミング) 等です。私は OCaml を研究でのデータ処理をはじめ、作成するプログラムほとんど 全てにおいて日常的に使っているのですが、 とにかく開発効率が良いです。 コンパイル時の型チェックの厳しさには慣れないとちょっと面倒に感じる かもしれま
Objective Caml 入門五十嵐 淳 京都大学 工学部情報学科計算機科学コース 大学院情報学研究科知能情報学専攻 e-mail: igarashi@kuis.kyoto-u.ac.jp September�24, 2007 Contents Chapter�1�� 1.1��関数型言語 ML と Objective Camlについて 1.1.1��ML・Objective Caml の特徴 1.2��参考書，資料，マニュアル 1.3��環境設定 Chapter�2�� 2.1��インタラクティブコンパイラを使う 2.1.1��簡単な使い方 2.1.2��その他: ファイルからのプログラムの読み込み・コメント 2.2��基本データ型とその演算 2.2.1��unit型 2.2.2��int型 2.2.3��float型 2.2.4��char型 2.2.5��string型 2
このページは最後に更新されてから1年以上経過しています。情報が古い可能性がありますので、ご注意ください。 OCaml（オキャムル／オーキャムル）は、INRIA（フランス国立情報学自動制御研究所）で開発されている関数型言語の一種で、最新の言語理論の成果が取り入れられたプログラミング言語です。 型安全な静的型システムを基盤に、バグの少ない高信頼なプログラムが開発できます。 オブジェクト、型推論、代数的データ型、モジュールシステム、多相バリアント、第一級モジュール、GADTといった様々な機能を利用して、より簡潔で整理されたコードが記述できます。 x86, x86-64, ARM, PowerPCなど多数のアーキテクチャのネイティブコードを出力できるコンパイラを持っています。Android や iOS 向けのクロスコンパイルも可能です（Linux 上でのクロスコンパイルは opam-cross-a
OchaCaml: shift/reset-extension of Caml Light September 16, 2017 What is OchaCaml OchaCaml is a Caml Light system extended with delimited control operators, shift and reset. It supports the let-polymorphic type system with answer type modification. Added Features reset (fun () -> M) Delimit the context of M. shift (fun k -> M) Clear the current delimited continuation, bind it to k, and execute M.
O'Caml on Android というパッチを作っている． 柔軟かつ信頼性の高いOCamlでAndroidのアプリを書くのが目標だ． ここ2ヶ月ほどocamljs (OCamlからJavaScriptへのコンパイラ) を使っていて、OCamlの信頼感と柔軟性にとても満足したので，ではAndroidでもOCamlだ、とばかりに開発を再開している． iPhoneやiPadのObjective-Cと違い，AndroidではJavaの型の扱いやJVMとの相互作用が必要でありなかなか厄介だ． しかしiPhoneではいくつかの開発 事例もあるのでAndroidでもそれなりに有効ではないかと信じている．がんばりたい． OCamlを使う利点 もはや自分の中では言い古した感があるのだけど，念のため列挙してみる． 信頼性 OCamlには null値がない．このため NullPointerException
2011-05-13 ocaml-android 2011-03-29 ocaml-nagoya 2011-02-03 ocamljsメモ 2011-02-01 OCamlテクニック/再帰型(Equi-recursive) 2011-01-01 camlp5 C共有ライブラリの作成 2010-12-23 活動記録/20080529 2010-12-02 ProofCafe ProofCafe/Coq01 2010-10-07 ProofCafe/ProofGeneral 2010-05-22 ProofCafe/crush 2010-05-21 Fsharp 2010-04-25 ProofCafe01 2010-04-22 論文読み会 2010-04-16 ネタ記録庫/OCaml 2010-04-06 ProofCafe/Coq02 2009-12-15 発表資料 2009-08-10
js_of_ocaml が熱い。 Google の Dart とか、そんな場合じゃない!! OCaml で書かれたプログラムがなぜか JavaScript に変換され、それがブラウザで動く。 JS で型がついていないオブジェクトでも何となく型をつけて OCamlで型安全に呼び出せる! 既存の JS ライブラリ資産が、ほとんど手間をかけずに、そのまま関数型言語パラダイムで使える! え？よくわからない？ http://ocsigen.org/js_of_ocaml/manual/ の demo を試してご覧なさい。これが全部 OCaml で書かれている…! そんなわけで、 js_of_ocaml 体験記。だいたい実際に行っていった Hack を(行き止まりになった失敗枝は刈り去って)なぞっている。あ、ちなみに当方 JavaScript に関してはほとんど知識が無い。JS に関しては用語とか間違
JstableSys_jsTyped_arrayCSSDomDom_eventsDom_htmlDom_svgEventSourceFileFirebugFormGeolocationJsonMutationObserverRegexpUrlWebGLWebSocketsWorkerXmlHttpRequestJs_of_ocaml_lwt – API ReferenceLwt_jsonpLwt_xmlHttpRequestLwt_fileLwt_js_eventsLwt_jsLwt logger - API ReferenceLwt_log_jsGraphics - API ReferenceGraphics_jsDeriving - API ReferenceDeriving_JsonPa_deriving_JsonTyxml - API ReferenceTyxml_jsTyxml_
Not your computer? Use a private browsing window to sign in. Learn more about using Guest mode
前に調べて気になっていた言語についてメモしておきます。 その言語はMLFi(Modeling Language for Finance)。デリバティブなど複雑な金融商品を記述するためのプログラミング言語です。開発元のLexiFi社のページによると，Camlを拡張した関数型言語だそうです。 LexiFi: Structured Product Pricing and Processing 日本語の解説は以下の文書が分かりやすいです。 関数型言語による金融アプリケーション(PDFファイル) この文書によるとMLFiは金融商品を簡潔に書くために作られたものらしいです。デリバティブのような複雑な金融商品は仕様書（目論見書？）も煩雑になりがちだけど，関数型言語を使えば幾つかの部品の組み合わせで表現できますよー，ということをMLFiの開発者たちは考えて実践したそうです。 実際，15個のコンビネータを定
Haskell Advent Calendar jp 2010のためのエントリです（17日目）． 6日目の id:camlspotterさんの 経験15年のOCaml ユーザーが Haskell を仕事で半年使ってみた に対するカウンター（になってるかどうか分からないですが）みたいな感じです． 近くて遠い隣人：HaskellとOCaml OCamlはHaskellと違って副作用があり，更にHM型推論をもつためプログラマは本質的な部分の記述に注力しつつ，コードのチューニングもできる． つまり働くHaskellプログラマがシリアスなソフトウェアを書く時に使えるほとんど唯一の選択肢だ．しかし，同じ静的型付けの関数型言語でありながら，OCamlとHaskellの見た目はかなり異なる． この記事では， HaskellプログラマがOCamlを使い始めると，どういうトラップにハマるかを書く． なかでも，
今の会社に移って半年経ちました。めでたく試用期間終了です。といっても別に試用期間中に密かに首を切られるような事をしたとか、逆に試用期間が終わったからと言ってこれで定年までのうのうと働ける、という訳ではありません。未来は全く判りません。まあとにかく、一つ区切りがやってきました。 金融を知らないQuantsの仕事 私の職業の肩書きには Quantitatitatitatitative という単語がくっついて超カッコよさそう。普通は Quant というと、金融工学や統計数理に詳しい夜もブイブイいわしている超イケメン20代を想像しますが、私は金融とか全然知らないアラフォーお父さんです。それでも Quant です。お願いですから、私に何を買ったらいいかとか、聞かないでください。金融商品とか買った事ないし。というか、逆に教えて欲しいです。 私のチームは、本当の Quant さん達が開発した、金融派生商
すとっどりぶ ご存知のように OCaml の stdlib は「標準ライブラリ」ではありません。「すとっどりぶ」です。大事な事などでもう二度言いますってやつです。これは OCaml コンパイラがコンパイルできる様にするための最小限のライブラリ＋ INRIA の人たちの気分で加えた関数から成っています。当然、OCaml をバリバァリ使う人には全く力不足です。「すとっどりぶ」で満足できない人は Jane Street Core や OCaml Batteries Included 等を使うと良いです。 でも、なんだか自分の書いているソフトに外部のライブラリを使って変な依存性を入れるのはどうかなあ、とか、わざわざ巨大な「代替標準ライブラリ」を入れるの面倒だ、という人もいるでしょう。そういう時は自分で「すとっどりぶ」を拡張すればよい。その時に便利な方法をお教えします。 すとっどりぶを拡張する たと
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く