ヒビルテ

agda

2007-06-26#p01 Coq の extraction
2007-07-11#p01 emacsagda-utf8
2007-08-02#p01 Modal Algebras
2007-08-10#p02 length (filter p xs) ≦ length xs の証明
2007-08-12#p01 ¬(∀x.P(x)) → ∃x.¬P(x)
2007-08-20#p01 チャーチ・ロッサーの定理の証明に挫折
2007-08-24#p01 チャーチ・ロッサーの定理の証明
2007-08-27#p01 Do you know that the S combinator is injective?
2007-08-28#p02 Paradoxes of classical predicate calculus
2007-08-29#p01 W-typesによる帰納的データ型の表現
2007-09-04#p01 True≠False の証明
2007-09-05#p01 Constructing M-types from W-types
2007-09-17#p01 Agda Implementors' Meeting 6
2007-12-01#p01 Agda2
2007-12-11#p01 Wellfounded induction in Agda2

continuation

2007-01-17#p01 ループは人の技、再帰は神の業、継続は悪魔の業?
2007-03-21#p04 「Haskell の call/cc 重大な設計ミスか！？」
2007-04-14#p02 RHG読書会::東京入門JavaScript 第四回
2007-06-22#p01 “Coroutines in Lua” by Ana Lúcia de Moura, Noemi Rodriguez and Roberto Ierusalimschy

coq

2007-11-04#p02 “Program-ing Finger Trees in Coq” by Matthieu Sozeau
2007-12-06#p01 Coqで“無限オブ無限”
2007-12-11#p01 Wellfounded induction in Agda2
2007-12-12#p01 「Coqで“無限オブ無限”」のyoshihiroさんによる証明
2007-12-17#p01 “Mechanizing common knowledge logic using COQ” by Pierre Lescanne

CPL

2007-09-02#p01 MaudeでCPL

game

2007-12-16#p01 ガルベスアドベンチャー

gtk

2007-06-21#p01 g_type_is_a()は推移的でない

haskell

2007-01-20#p01 関数従属性の落とし穴
2007-01-27#p01 HaskellでのPTQ実装
2007-01-31#p02 Haskellでパーサを書く時に面倒な点
2007-02-02#p02 Haskellと高階論理の土台は異なるか?
2007-02-14#p01 関数論理型言語Curryを試してみる
2007-03-21#p04 「Haskell の call/cc 重大な設計ミスか！？」
2007-04-28#p02 Advanced Topics in Programming Languages Series: Parametric Polymorphism by Phil Gossett
2007-05-19#p02 “Combining Events And Threads For Scalable Network Services ― Implementation And Evaluation Of Monadic, Application-level Concurrency Primitives”, by Peng Li and Steve Zdancewic
2007-06-08#p01 サンタクロース問題
2007-07-01#p01 Arrowの紹介 for 2ch
2007-07-06#p01 Eager Haskell
2007-07-09#p01 haskell-jpのアーカイブ
2007-07-12#p01 foldl.com と foldr.com
2007-07-25#p01 “Ropes: an Alternative to Strings” by Hans-J. Boehm, Russ Atkinson and Michael Plass
2007-07-28#p02 栄光のグラスゴーHaskellコンパイルシステム利用の手引き
2007-07-29#p02 “Finger Trees: A Simple General-purpose Data Structure” by Ralf Hinze and Ross Paterson
2007-08-07#p01 文字列検索の性能
2007-08-08#p01 Djinn, a theorem prover in Haskell, for Haskell.
2007-08-13#p01 OSConでのSimon Peyton Jonesの講演
2007-08-14#p01 パースの論理式
2007-10-10#p01 「Haskellがアセンブリになるまで」
2007-10-22#p01 「Haskellがアセンブリになるまで」 (不参加)
2007-10-23#p01 正格性フラグを使ってseqを定義する
2007-10-28#p02 seqはHaskellの意味論では扱えない?
2007-10-30#p01 “Faster laziness using dynamic pointer tagging” by Simon Marlow, Alexey Rodriguez Yakushev, Simon Peyton Jones
2007-11-02#p02 “Metamorphic Programming Extension to Haskell” by Martin Erwig
2007-11-12#p01 “A new view of guards” by Simon Peyton Jones
2007-11-14#p01 HaskellのDynamicはあまり使えない
2007-11-16#p01 “Why it's nice to be quoted: quasiquoting for haskell” by Geoffrey Mainland
2007-12-04#p01 無限オブ無限
2007-12-30#p01 HaskellでCYK法

hiki

2007-09-15#p01 RD+スタイルでプラグイン引数がエスケープされる

javascript

2007-02-10#p01 RHG読書会::東京入門JavaScript
2007-03-05#p01 選択範囲のチェックボックスを一括でチェックするBookmarklet
2007-04-14#p02 RHG読書会::東京入門JavaScript 第四回
2007-11-22#p01 OperaのiframeのcontentDocumentが変

linguistics

2007-01-27#p01 HaskellでのPTQ実装
2007-01-31#p02 Haskellでパーサを書く時に面倒な点
2007-02-11#p01 ILとLTLのF
2007-11-25#p01 DCG で a^n b^n c^n (n > 0) という言語を表現できるか?
2007-11-25#p03 PEG意見交換会

logic

2007-02-11#p01 ILとLTLのF
2007-03-09#p02 不完全性定理に関して混乱中
2007-03-11#p01 不完全性定理に関して混乱中 (2)
2007-03-12#p01 算術的階層の厳密性と形式的手法の限界について
2007-03-13#p01 不完全性定理に関して混乱中 (3)
2007-03-14#p01 ω矛盾かあちゃん
2007-03-16#p01 ロッサーの不完全性定理
2007-03-17#p01 クライゼルの注意
2007-08-06#p01 様相論理のシーケント計算
2007-08-10#p01 H↔Provable([H]) な H の真偽
2007-08-12#p01 ¬(∀x.P(x)) → ∃x.¬P(x)
2007-08-14#p01 パースの論理式
2007-08-28#p02 Paradoxes of classical predicate calculus
2007-09-16#p01 ヘンキン文
2007-09-21#p02 集合論を知らない子ども達
2007-12-05#p01 整礎性は一階述語論理では表現できないのね
2007-12-10#p01 推移閉包は一階述語論理では表現できないのね

logic-programming

2007-02-03#p02 Functional Logic Languages: Basic Concepts and Operational Semantics by Michael Hanus
2007-02-14#p01 関数論理型言語Curryを試してみる
2007-10-20#p01 渕一博記念コロキウム『論理と推論技術：四半世紀の展開』
2007-11-25#p01 DCG で a^n b^n c^n (n > 0) という言語を表現できるか?
2007-11-26#p01 「ガン検診」問題でPRISMを試す
2007-12-07#p01 A brainf*ck interpreter in Prolog
2007-12-19#p01 SATCHMOで遊ぶ

maude

2007-08-16#p01 Maude
2007-09-02#p01 MaudeでCPL
2007-10-02#p01 maude の protecting, extending, including の違いは?

modal-logic

2007-08-01#p01 「トランプの和と積のパズル」と様相論理
2007-08-02#p01 Modal Algebras
2007-08-06#p01 様相論理のシーケント計算
2007-09-16#p01 ヘンキン文
2007-09-18#p04 佐藤圭祐（東工大）：λ記号の加わった様相論理に関する研究
2007-09-18#p05 小島健介（京大）：next, always をもつ直観主義線形時相論理
2007-10-19#p01 “Algebraic laws for nondeterminism and concurrency” by Matthew Hennessy and Robin Milner
2007-11-11#p02 SPASS を試す
2007-11-23#p01 Molle (MOdal Logic Loony Evaluator)
2007-11-24#p01 SPASSで知識の論理を使って論理パズルを解く?
2007-12-02#p04 “A simple propositional S5 tableau system” by Melvin Fitting
2007-12-05#p01 整礎性は一階述語論理では表現できないのね
2007-12-16#p03 S5のS4への埋め込み
2007-12-17#p01 “Mechanizing common knowledge logic using COQ” by Pierre Lescanne

money

2007-05-03#p03 Amazon クレジットカードが届いた
2007-08-15#p01 利付国庫債券(5年) 第65回
2007-09-10#p01 Amazonポイント最大3%(3倍)還元キャンペーン
2007-09-24#p01 家計簿探し
2007-09-24#p02 foonance.com
2007-09-24#p03 シンプル家計簿
2007-09-24#p04 GnuCache
2007-09-24#p05 Wasabe.com
2007-09-26#p02 UFJのスヌーピーEdyカードを解約
2007-10-27#p02 Amazon.co.jp、3000円以上の和書ポイント5倍還元
2007-12-16#p02 円定期1年もの　金利1.2%キャンペーン

music

2007-05-04#p01 Last.fm

ocaml

2007-07-04#p01 『入門OCaml — プログラミング基礎と実践理解』
2007-09-18#p01 矛盾を表す型

probability

2007-11-26#p01 「ガン検診」問題でPRISMを試す

programming-contest

2007-07-20#p01 ICFP Programming Contest 2007

quantum

2007-03-25#p01 第二十七回圏論勉強会
2007-05-07#p02 Kindergarten Quantum Mechanics, by Bob Coecke
2007-05-15#p02 Introducing categories to the practicing physicist by Bob Coecke

quiz

2007-01-17#p02 次の四角形ABCDの対角線ACの長さを求めよ
2007-02-27#p03 (√3)sin(x) - cos(x) = 1
2007-08-10#p01 H↔Provable([H]) な H の真偽

ruby

2007-01-20#p02 YARVへの感慨
2007-02-07#p02 ID3タグをCP1251から変換
2007-02-10#p01 RHG読書会::東京入門JavaScript
2007-02-28#p03 るびま 0018 号
2007-04-14#p03 日本Ruby会議2007のチケット
2007-06-10#p01 RubyKaigi 2007 二日目
2007-06-21#p01 g_type_is_a()は推移的でない
2007-07-07#p01 Ruby-GNOME2のコールバック周りを少し整理
2007-07-07#p02 Mutexとかめんどい
2007-07-09#p02 ruby-gnome2-devel-jaのアーカイブ
2007-07-10#p01 ヘッダにしかない関数
2007-07-21#p01 RHG読書会
2007-09-25#p03 [ruby-list:44057] Rubyを使った家電向けプラットフォームのデモ
2007-10-17#p01 RubyでSTM
2007-11-07#p01 Twitterにメールから投稿するスクリプト

theorem-proving

2007-11-11#p02 SPASS を試す
2007-11-24#p01 SPASSで知識の論理を使って論理パズルを解く?
2007-12-02#p04 “A simple propositional S5 tableau system” by Melvin Fitting
2007-12-17#p01 “Mechanizing common knowledge logic using COQ” by Pierre Lescanne

thinkpad

2007-12-15#p02 Thinkpad X61 を注文

tom

2007-01-06#p01 M2の会
2007-01-16#p05 Stick Remover 棒山くずし
2007-02-05#p02 研究会最終発表
2007-03-17#p02 DDoSうざい
2007-03-25#p02 萩野・服部研 2006年度納会
2007-05-11#p05 サーバ障害
2007-09-29#p01 ベルビュー・クリーク＠EUROPEAN BEER CAFE 新宿フリゴ
2007-12-02#p01 計画停電

Topology via Logic

2007-04-04#p01 Scott open filters & Compactness
2007-04-07#p01 チコノフの定理
2007-04-08#p01 ideal completion
2007-04-12#p01 spectral locale と compact coprime opens
2007-04-24#p02 Algebraic dcpo + 2/3 SFP + Scott位相 ⇒ Spectral algebraic space
2007-04-25#p02 2/3 SFP と algebraicity
2007-05-06#p02 イデアル完備化の落とし穴
2007-05-08#p02 Chapter 9 の練習問題1
2007-05-09#p02 Chapter 9 の練習問題2
2007-05-10#p02 Chapter 9 の練習問題4
2007-05-11#p04 Chapter 9 の練習問題6
2007-05-31#p02 Topology via Logic だいたい読了

TV

2007-02-03#p03 『マトリックス・レボリューションズ』
2007-02-11#p02 About Schmidt

ネタ

2007-01-06#p01 M2の会
2007-02-03#p01 えむ　すくらんぶる (18禁)
2007-02-12#p02 レッツゴー！陰陽師　PV
2007-03-14#p01 ω矛盾かあちゃん
2007-06-07#p01 東方弾幕風を使って「もってけ！セーラーふく」を弾幕で表現
2007-06-28#p01 ひぐらしがなく頃に
2007-09-01#p01 文系・理系・体育会系の決定的な差
2007-09-19#p01 バケツプリン
2007-09-21#p02 集合論を知らない子ども達
2007-09-30#p02 ヨハネスブルグのガイドライン
2007-10-09#p01 デッドロックを起こしている交差点
2007-11-19#p01 Right Brain v Left Brain

プロセス代数

2007-10-15#p01 “On asynchrony (...and on mobility)” by Francesco Zappa Nardelli
2007-10-19#p01 “Algebraic laws for nondeterminism and concurrency” by Matthew Hennessy and Robin Milner

モデル検査

人狼

2007-04-01#p01 MAD PEOPLE β01: EPISODE 1101 「でかマクロとぷちマクロ」
2007-10-14#p02 人狼BBSに関する卒業研究アンケート

圏論

2007-01-21#p01 第二十五回圏論勉強会
2007-02-25#p01 第二十六回圏論勉強会
2007-03-25#p01 第二十七回圏論勉強会
2007-04-16#p02 「初歩の圏論」富士セミナー
2007-04-28#p01 第二十八回圏論勉強会
2007-05-15#p02 Introducing categories to the practicing physicist by Bob Coecke
2007-06-06#p01 CCC と *-autonomy
2007-06-24#p01 第三十回圏論勉強会
2007-07-08#p01 第三十一回圏論勉強会
2007-08-09#p02 “Topoi: The Categorial Analysis of Logic” by Robert Goldblatt
2007-08-12#p02 第三十二回圏論勉強会
2007-09-09#p02 第三十三回圏論勉強会
2007-10-28#p01 第三十四回圏論勉強会
2007-11-04#p01 カテ……
2007-12-09#p01 第三十五回圏論勉強会

型理論

2007-11-05#p01 型システムを設計する方法論

後で

2007-01-25#p01 祖父が亡くなった
2007-01-26#p01 葬儀, 告別式, 火葬, 繰り上げ初七日

映画

2007-02-03#p03 『マトリックス・レボリューションズ』
2007-02-11#p02 About Schmidt
2007-02-28#p02 ディパーテッド (The Departed)
2007-03-21#p01 エネミーライン
2007-03-21#p02 バンディッツ
2007-03-21#p03 ゴッドファーザー PART III
2007-03-22#p01 ショコラ
2007-08-14#p02 オーシャンズ13

時事

本

2007-01-16#p04 『となりの801ちゃん』小島アジコ
2007-01-19#p01 『εに誓って』 by 森博嗣
2007-02-07#p01 『美しい国へ』安部晋三
2007-02-08#p01 『マオ—誰も知らなかった毛沢東 (上)』
2007-02-12#p01 『FREAKONOMICS -- A Rogue Economist Explores the Hidden Side of Everything』
2007-03-18#p01 『マオ—誰も知らなかった毛沢東 (下)』
2007-03-19#p01 『論理の哲学』飯田隆
2007-03-20#p01 『日本の外交は国民に何を隠しているのか』河辺一郎
2007-05-03#p02 『アンティゴネー』
2007-06-01#p01 『ピタゴラ装置DVDブック』
2007-06-03#p01 『チェーザレ — 破壊の創造者』 by 惣領冬実
2007-06-06#p02 『λに歯がない』森博嗣
2007-06-08#p02 『位相と論理』
2007-06-17#p01 『チェーザレ・ボルジアあるいは優雅なる冷酷』 by 塩野七生
2007-06-23#p01 『もやしもん』石川雅之
2007-07-03#p01 『のだめカンタービレ (18)』二ノ宮知子
2007-07-04#p01 『入門OCaml — プログラミング基礎と実践理解』
2007-08-09#p02 “Topoi: The Categorial Analysis of Logic” by Robert Goldblatt
2007-08-12#p03 『ηなのに夢のよう』森博嗣
2007-08-15#p02 『もやしもん』3巻&4巻 by 石川雅之
2007-08-20#p02 『謎の彼女X (2)』植芝理一
2007-08-28#p03 『すもももももも - 地上最強のヨメ (8)』大高忍
2007-09-03#p02 『寄生獣 (1)』 by 岩明均
2007-09-04#p03 『寄生獣 (2)』 by 岩明均
2007-09-10#p01 Amazonポイント最大3%(3倍)還元キャンペーン
2007-09-12#p01 『福翁自伝』福沢諭吉著　富田正文校注
2007-09-14#p01 『ヘウレーカ』 by 岩明均
2007-09-18#p02 『寄生獣 (3)』 by 岩明均
2007-09-25#p02 『寄生獣 (4)』 by 岩明均
2007-09-26#p03 『寄生獣 (5)』 by 岩明均
2007-09-27#p03 『寄生獣 (6)』 by 岩明均
2007-09-28#p01 『寄生獣 (7)』 by 岩明均
2007-09-29#p02 『寄生獣 (8)』 by 岩明均
2007-10-09#p02 『オトナ語の謎』糸井重里
2007-10-27#p02 Amazon.co.jp、3000円以上の和書ポイント5倍還元
2007-10-29#p02 『数学ガール』結城浩
2007-11-11#p01 『HELLSING (9)』 by 平野耕太
2007-11-27#p01 CSLI Lecture Notes online and free
2007-12-15#p03 福岡伸一『生物と無生物のあいだ』
2007-12-21#p01 岩明均『ヒストリエ (1)』