型推論に興味はあるけど、抽象的な説明が多く難しそうだと思っている方々。基礎的なことを押さえておけば、型推論器は簡単に実装できます。 ここでは、私が JavaScript で書いた型推論器を例に、型推論の基本的なアルゴリズムの一例を具体的に説明していきます。解説対象は、ibis-js-1.0.0です。 型推論の可視化ツールを使いながら読むとよりわかりやすいかもしれません。 目次 型変数と単一化 多相型 let と let rec バリアント型
MySQL 5.0.60で--with-libeditでビルドした場合のmysqlクライアントにおけるマルチバイト文字入力不具合が解消されたようです。 このChangeSetが取り込まれている模様。 http://mysql.bkbits.net:8080/mysql-5.0/?PAGE=cset&REV=47cd3cd4ZuTuAVELOv-2mljdCeXG_w editlineをMySQLの開発者(Bar氏)が独自修正するという方法によって対処となったわけですね。Good Job!! 背景を少し説明しておくと、、、 この"--with-libedit"というのはMySQLをソースからビルドする際に指定するconfigureオプションのひとつで、BSDライセンスであるため商用版MySQLのビルドには欠かせないものでした。商用版ではライセンス的にGPLであるGNU readlineは使え
Information version date memo 1.0 2012/08/12 first 概要 圏論関連の記事等のまとめ リンク 数学的側面からの導入 圏論の雰囲気が簡単に書かれている。群、位相等の知識があれば何となく分かると思われる。 http://alg-d.com/other/category.html 圏論の初歩。こちらは数学的な予備知識が殆ど要らない。 プログラム関連の知識があるとより理解し易いと思われる。 http://d.hatena.ne.jp/m-hiyama/20060821/1156120185 代数学関連のまとめ。一部に圏論あり。 http://pantodon.shinshu-u.ac.jp/topology/literature/index.html PDF直リン。圏論の導入。結構詳しく書いてある。 http://www.math.nagoya-u.
オンラインで入手できる数理論理学・数学基礎論のテキスト 数理論理学、数学基礎論の教科書的に使えるテキスト(講義ノート、サーヴェイ、モノグラフ等)のうち、オンラインで入手できるものを集めました。 入門的概説 論理一般 高階論理と型理論 直観主義論理 コンビネータとラムダ計算 時相論理および時制論理 様相論理 適切さの論理 自然言語の論理 空間論理 モデル理論 安定性理論 無限論理 計算可能性理論および再帰理論 集合論 pcf理論 記述集合論 実数の集合論 選択公理 強制法と内部モデル 連続体仮説 NF 証明論と構成的数学 順序数解析 算術の体系と不完全性 証明可能性論理 線形論理 構成的数学 代数的論理と圏論 ブール代数 普遍代数 量子論理 圏論 歴史 入門的概説 [▲] 加茂静夫,「数理論理学(命題論理と述語論理)」.[PDF] 嘉田勝,「数理論理学 講義ノート(2013年度版)」. St
2010年3月22日に,Haskell Platform 2010.1.0.0がリリースされました(参考リンク1,参考リンク2)。 Haskell Platformは,その名の通りHaskellでプログラミングをするユーザー向けの開発プラットフォームです。Haskell Platformには,GHCに加え,GHCには含まれていないライブラリや,cabalコマンド(cabal-install)などのツールが収録されています。 Haskell Platformが生まれた理由 Haskell Platformは,Haskell処理系であるGHCに加え,実際のプログラミングで必要になるライブラリやツールなど,Haskellによるプログラミングを行うのに必要な環境一式を提供するものです。ただし,Haskell Platform 2010.1.0.0のリリース時点では,どのOSを使用しているかによって
This is NAKAMURA Shogo's page to introduce my works in Mukai Research Group. Thank you for visiting. 2006年度秋学期 レポート: モナドへの近道・Haskellからの寄道 (Japanese, PDF 82KByte) スライド: Haskell Introduction --- Type in Haskell (Japanese, PDF 1296KByte) ソースコード: Categorial Grammar in PTQ (Haskell, HS 7KByte) メモ: Comma Category (Japanese, PDF 44KByte) らくがき: キューブ型ダイアグラムの図形的性質を利用した推論の例? (Japanese, PDF 22KByte) 2006年度春学
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く