One of my projects for quite a while is to understand Monads. I have been working on this, off and on, for an embarrassing amount of time. Yes, I could have just learned Haskell and that would have done it but I wanted to be a pain in the arse. Also, I had a horrible experience attempting to learn Haskell a long time ago. Thus, I decided as I use Ocaml for most things then I should be able to do i
[ ホーム | 講義 ] 2013年度前期・数理解析・計算機数学 II (同 概論II) レポート課題 レポート課題 提出期限 2013年8月2日(金) 講義予定 シラバス 第1回 4月12日 Coq で関数型プログラミング 講義メモ 資料 EmacsでCoqを使う 設定ファイル coq.emacs (.emacs にコピーす る) 第2回 4月19日 Coqの論理 講義メモ 第3回 4月26日 述語論理と帰納法 講義メモ 第4回 5月10日 帰納的な定義と多相性 講義メモ 第5回 5月17日 プログラムの証明1 講義メモ 第6回 5月24日 プログラムの証明1 5月25日 14時半〜17時半 多元307号室 (ご興味の方) Proof Cafe: 先輩達によるCoqの勉強会 第7回 5月31日 プログラムの証明2 講義メモ 6月7日 名大際のため休講 第8回 6月14日 数学的な証明 講
基本的にlinuxベース。バージョンは大体3.07とか3.08ぐらい。よく分からない部分もとりあえず書いているので、多分間違い多数。徐々に追加とか修正とかする予定。今のところオブジェクトとモジュールのところの内容は空。 ツールの使い方 起動と終了の仕方 OCamlのインタプリタを起動させるにはシェルから次のように入力する。 [radio@taka radio]$ ocaml Objective Caml version 3.08.0 # 終了は # #quit;; と打ち込む。バイトコンパイルはシェルから [radio@taka radio]$ ocamlc hoge.ml -o hoge ネイティブコンパイルは [radio@taka radio]$ ocamlopt hoge.ml -o hoge とする。 また次のようにすると起動時にファイルを読み込むことができる [radio@ta
これから前回の「線形回帰」を確率化した「ベイズ線形回帰」に進んでいく予定ですが、今回はその中で大活躍する「ベイズ確率」です(編注)。「ベイズ確率」は本連載の第2回で一度登場していますが、そのときは名前の紹介だけでした。 まずは「ベイズ確率」とは何で、なぜそれを使うのか、というところから見ていきましょう。 編注 本来であればベータ分布を実践する回をお届けする予定でしたが、諸事情により、理論編のお話を先に進めさせていただきます。引き続き、ご愛読いただければ幸いです。 「確率」を求める 高校で確率の授業を受けたことがある人であれば、一度くらいは次のようなことを思ったことはありませんか? 「コインを投げたら表が出る確率は1/2とか、サイコロを振ったらそれぞれの目が出る確率が1/6とかよく言うけど、どうやってそれを確かめるの?」 「確率1/6といっても、6回振って各目が1回ずつ出たりしないし、
このページは淺尾仁彦・李在鎬 (2013) 『言語研究のためのプログラミング入門:Pythonを活用したテキスト処理』(開拓社)のサポートページです。 Amazonの商品ページ サンプルデータ サンプルデータのダウンロードはこちら 使い方の詳細は本書の7ページと243ページ、およびサンプルデータの中に含まれる readme.txt をご参照ください。 誤植情報 正誤表はこちら サンプルコード 本文中に登場するプログラム例です。本文中のコードをご自身で入力される代わりに、ここからコピー&ペーストして動作をお試しいただくことができます。大きく転載されるというのでないかぎり、以下のコードの断片を実際の研究などに利用していただくのに許諾は必要ありません。ご自由にお使い下さい。 Ch5 Pythonでファイルの内容を表示してみよう Ch5-1.py datafile = open('j.txt')
🎉 Announcing: Building AI-Powered Apps with Apple Intelligence 🎉 Stay on the leading edge of UX features supported by AI and Apple Intelligence. Save over $1200 on your seat with our early admissions sale — on now! Elevate your dev skills with Kodeco Cutting-edge courses, world-class instructors, and a network of passionate learners position you — and your dev team — to thrive in the ever-evolvi
This is a post by iOS Tutorial Team Member Ernesto García, a Mac and iOS developer founder of CocoaWithChurros. It’s a good time to be an iOS developer. Not only can you release your apps to both the iPhone and iPad App Stores, but you also have the foundational skills to become a Mac developer, since iOS development and Mac development are quite similar! If you’re an iOS developer and you’re curi
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く