google ime (mozc)のソースコードが公開されたので読んでみた。 - お前の血は何色だ!! 4
google ime (mozc)のソースコードが公開されました。 http://code.google.com/p/mozc/ http://codezine.jp/article/detail/5174 http://googlejapan.blogspot.com/2010/05/google_10.html なんで、早速ソースコードを探検してみた。 google のスーパーハカーはどういう楽しいコードを書いているのか興味津々です。 #まだすべてのソースコードに目を通していないです。 1.CallOnce という CASで実装された楽しい関数 base/mutex.cc に、 CallOnce という 大変ユニークな関数があります。 void CallOnce(once_t *once, void (*func)()) { if (once == NULL || func == NU
オンラインで入手できる数理論理学・数学基礎論のテキスト
オンラインで入手できる数理論理学・数学基礎論のテキスト 数理論理学、数学基礎論の教科書的に使えるテキスト（講義ノート、サーヴェイ、モノグラフ等）のうち、オンラインで入手できるものを集めました。 入門的概説 論理一般 高階論理と型理論 直観主義論理 コンビネータとラムダ計算 時相論理および時制論理 様相論理 適切さの論理 自然言語の論理 空間論理 モデル理論 安定性理論 無限論理 計算可能性理論および再帰理論 集合論 pcf理論 記述集合論 実数の集合論 選択公理 強制法と内部モデル 連続体仮説 NF 証明論と構成的数学 順序数解析 算術の体系と不完全性 証明可能性論理 線形論理 構成的数学 代数的論理と圏論 ブール代数 普遍代数 量子論理 圏論 歴史 入門的概説 [▲] 加茂静夫，「数理論理学（命題論理と述語論理）」．[PDF] 嘉田勝，「数理論理学 講義ノート（2013年度版）」． St
【７０枚】便利な画像ください カナ速
●Hは付き合う前？ 付き合ってから？ →第１位「Hしたことがない」 童貞処女は空気嫁よ･･･ 童貞処女は見栄を張れと? ●吉野家ついにキレる まあすき屋も行かないんですけどね ●吉野家ついにキレる 擁護する奴も叩く奴も自分で食い比べて確かめてみろ 他人に流されるな ●一番狂気的なアニメってなんだ？ >>76 確実に何かキメながら作ってるよね ●吉野家ついにキレる 吉野家で肉が４枚しか入ってなかった事がある。 その時、他のお客さんが「肉少なくない？」と店員に言ったら、「規定量です」と即答してた。 ４枚ってｗｗｗｗ それ以来 ●吉野家ついにキレる そもそも牛丼を劣化させるという暴挙に出た時点で負けは見えていた ●【７０枚】便利な画像ください 需要あるのおおくていいな ●腐女子・オタク女にありがちなこと やたら声がデカイし 早口 ●なぜスイーツ（笑）はバカにされる
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
LaTeX Lab - Welcome
