ヒビルテ [ALL (2005年)]
Categories |
本 |
logic-programming |
tDiary |
英語 |
gimp |
ruby |
cygwin |
scheme |
gtk |
quiz |
流行りもの |
時事 |
映画 |
tom |
TV |
URL |
w3m |
ネタ |
Web |
検索 |
論文 |
圏論 |
haskell |
javascript |
machine-learning |
メモ |
向井研 |
CPL |
食 |
ChannelTheory |
linguistics |
SemanticWeb |
logic |
型理論 |
東方 |
continuation |
後で |
Topology via Logic |
ocaml |
modal-logic |
theorem-proving |
hiki |
モデル検査 |
人狼 |
programming-contest |
agda |
probability |
quantum |
音楽 |
coq |
money |
Alloy |
lifehack |
music |
maude |
プロセス代数 |
thinkpad |
game |
security |
linear-programming |
optimization |
Erlang |
iPhone |
mac
- 2005-01-06#p03 Re: 可変長引数の関数?
- 2005-01-17#p01 Concurrent Haskell
- 2005-01-21#p01 Composable memory transactions, Tim Harris, Simon Marlow, Simon Peyton Jones, and Maurice Herlihy. Submitted to PPoPP 2005.
- 2005-01-25#p01 The Implementation of Functional Programming Languages
- 2005-01-26#p01 Strongly typed heterogeneous collections, Oleg Kiselyov, Ralf Lämmel, and Keean Schupke
- 2005-01-26#p02 Haskell's overlooked object system, Oleg Kiselyov, Ralf Lämmel, and Keean Schupke
- 2005-01-27#p04 GHC 6.4 の ライブラリ
- 2005-02-09#p01 Text.Regexで日本語が扱えない問題を鬼車で解決
- 2005-02-19#p02 パラメトリシティと不動点
- 2005-02-21#p01 Haskell で始めたプログラマに C を教えるには…
- 2005-02-21#p02 monadic catamorphisms
- 2005-02-23#p01 型が a -> b となる関数はなんでしょう？
- 2005-02-26#p01 代数的データ型と始代数の話
- 2005-02-26#p02 Haskellたん
- 2005-02-26#p03 C と Haskell のハイブリッドな hello world
- 2005-03-09#p01 インスタンスの列挙
- 2005-03-10#p02 代数的データ型の領域
- 2005-03-11#p01 runghc
- 2005-03-11#p02 ANNOUNCE: GHC version 6.4
- 2005-03-12#p03 読むのに手頃なHaskellのコード
- 2005-03-13#p01 PrettyLambda
- 2005-03-15#p03 Free Theorems in the Presence of seq - P. Johann and J. Voigtländer
- 2005-03-16#p01 モナディックシューティング Shu-thing
- 2005-03-22#p01 hugsで日本語文字列をエスケープしないためのパッチを更新
- 2005-03-23#p03 Hugs の Foreign.C.String での Unicode⇔locale の変換パッチを更新
- 2005-03-26#p03 ETBダイアグラム
- 2005-03-27#p01 Traced Premonoidal Categories - Nick Benton and Martin Hyland
- 2005-04-06#p02 Matrix.hs
- 2005-04-18#p03 GHC-6.4ソースコードハッキング
- 2005-04-19#p02 jhc
- 2005-04-19#p04 ICPC過去問: Hanafuda Shuffle
- 2005-04-28#p04 関数プログラミングの妙味
- 2005-05-01#p02 N-gram
- 2005-05-03#p01 GHC 6.4 ソースコードHacking: メモ
- 2005-05-03#p03 GHC ソースコードハッキング 1日目
- 2005-05-04#p02 GHC ソースコードハッキング 2日目
- 2005-05-05#p01 GHC ソースコードハッキング 3日目
- 2005-06-01#p01 Monadius - a scientist's toy box
- 2005-06-05#p02 Haskell と OCaml
- 2005-06-24#p01 BiGram の実装
- 2005-06-28#p01 ICPC過去問: Circle and Points
- 2005-06-29#p03 "Implementing Functional Language: a Tutorial" 読書会?
- 2005-06-30#p01 The 2005 GHC survey
- 2005-06-30#p03 CのプログラムからHaskellの関数を呼び出す
- 2005-07-01#p01 OCamlとタイプクラス
- 2005-07-02#p04 Backtracking, Interleaving, and Terminating Monad Transformers (Functional Pearl). Oleg Kiselyov, Chung-chieh Shan and Daniel P. Friedman and Amr Sabry
- 2005-07-04#p01 PArrows
- 2005-07-12#p03 Yicho: A Combinator Library for Program Calculation
- 2005-07-19#p03 有限体GF(p)
- 2005-07-22#p03 Towards a monadic semantics of quantum computation, Thorsten Altenkirch
- 2005-07-24#p01 can't compile Y-combinator (#1243982)
- 2005-08-14#p01 キミならどう書く
- 2005-08-20#p01 キミならどう書く
- 2005-08-28#p01 クロージャ
- 2005-09-05#p01 記憶（memo）する関数
- 2005-10-08#p03 Haskellへの多相バリアントの導入について. 香川 孝司
- 2005-11-01#p01 Wang's Algorithm
- 2005-11-11#p02 yhc - York Haskell Compiler
- 2005-11-22#p02 A Cookbook for the Haskell XML Toolbox with Examples for Processing RDF Documents. Manuel Ohlendorf
- 2005-12-14#p01 Monadと思ったけどMonadじゃなかった何か
- 2005-12-15#p01 tDiaryでHsColour
- 2005-01-04#p02 『プログラミングのための線形代数』, 平岡 和幸, 堀 玄
- 2005-01-05#p03 『V・B・ローズ 1』, 日高 万里
- 2005-01-05#p04 『V・B・ローズ 2』, 日高 万里
- 2005-01-06#p04 『猫の地球儀 幽の章 』, 秋山 瑞人 著, 椎名 優 イラスト
- 2005-01-07#p02 『鉄子の旅 1』, 菊池 直恵
- 2005-01-08#p02 『台湾人と日本精神—日本人よ胸を張りなさい』, 蔡 焜燦
- 2005-01-14#p05 知への欲求
- 2005-01-14#p06 君はアインシュタインを知っているか?
- 2005-01-25#p01 The Implementation of Functional Programming Languages
- 2005-02-16#p01 『竹島は日韓どちらのものか』, 下條 正男
- 2005-02-17#p04 『数学の限界』, G.J.チャイティン(Gregory J. Chaitin) 著, 黒川利明 訳
- 2005-02-21#p04 『常識としての軍事学』, 潮 匡人
- 2005-03-31#p01 『真夜中の水戸黄門』, しりあがり寿
- 2005-03-31#p02 『セマンティック・ウェブのためのRDF/OWL入門』, 神崎 正英
- 2005-04-01#p01 『独島／竹島 韓国の論理』 - 金学俊 著, Hosaka Yuji 訳
- 2005-04-02#p04 『ブギーポップ・デュアル 負け犬達のサーカス』 - 高野真之 (作画) 上遠野浩平 (原案)
- 2005-04-08#p01 『カラシニコフ』, 松本仁一
- 2005-04-11#p01 『温度から見た宇宙・物質・生命 - ビッグバンから絶対零度の世界まで』, ジノ・セグレ(Gino Segrè) 著, 桜井邦朋 訳
- 2005-04-12#p04 『銭 弐巻』, 鈴木 みそ
- 2005-04-13#p03 『アマゾンの秘密─世界最大のネット書店はいかに日本で成功したか』
- 2005-04-14#p01 『委員長お手をどうぞ』, 山名 沢湖
- 2005-04-16#p01 『ブギーポップ・バウンディング ロスト・メビウス』, 上遠野 浩平 (著), 緒方 剛志 (イラスト)
- 2005-04-18#p02 『失踪日記』, 吾妻 ひでお
- 2005-04-19#p01 『銭 壱巻』, 鈴木 みそ
- 2005-04-21#p01 『監督不行届』, 安野 モヨコ
- 2005-04-26#p02 『カイジ 1』, 福本 伸行
- 2005-04-27#p02 『不幸からの出発—アメリカの覇権の下で』, 熊沢 勉
- 2005-04-28#p02 『カイジ 2』, 福本 伸行
- 2005-04-28#p03 『歴代首相の経済政策 全データ』, 草野 厚
- 2005-05-09#p02 『リサイクル幻想』, 武田 邦彦
- 2005-05-13#p01 『スナーク狩り』, 宮部 みゆき
- 2005-05-17#p01 『産直あづまマガジン 3』, 吾妻 ひでお
- 2005-06-03#p02 Type Theory and Functional Programming. Simon Thompson
- 2005-06-10#p01 『山下奉文 —昭和の悲劇』, 福田 和也
- 2005-06-16#p02 『余は如何にしてナショナリストとなりし乎』, 福田 和也
- 2005-06-19#p02 『ジゴロ』, 中山 可穂
- 2005-06-24#p03 『社会保障を問いなおす—年金・医療・少子化対策』, 中垣 陽子
- 2005-06-29#p01 『11人いる! 』, 萩尾 望都
- 2005-06-30#p02 『道路の経済学』 松下 文洋
- 2005-07-01#p03 『四季 春』, 森 博嗣
- 2005-07-02#p02 『月光魔術団1 春の魔法使い』, 平井 和正
- 2005-07-04#p03 『海辺のカフカ』 村上 春樹
- 2005-07-12#p02 『さらば外務省!—私は小泉首相と売国官僚を許さない』, 天木 直人
- 2005-07-13#p01 『経済物理学の発見』, 高安 秀樹
- 2005-07-17#p03 『土地と日本人』 司馬遼太郎対談集
- 2005-07-18#p01 『マンガ嫌韓流』
- 2005-07-19#p04 『陰陽ノ京』, 渡瀬 草一郎 (著), 田島 昭宇 (イラスト)
- 2005-07-21#p01 ブックバトン
- 2005-07-24#p02 『戦争請負会社』, P・W・シンガー(Peter W. Singer) 著, 山崎 淳 訳
- 2005-07-25#p02 『アルベルト・フジモリ,テロと闘う』, アルベルト・フジモリ(Alberto Fujimori) 著, 岸田 秀 訳
- 2005-09-06#p01 『田中雄二の漢文早覚え速答法』＆『田村の現代文年間カリキュラム』
- 2005-09-14#p01 『φは壊れたね』, 森 博嗣
- 2005-09-30#p02 『四季 夏』, 森 博嗣
- 2005-10-02#p02 『遺伝子組換え作物—世界の飢餓とGM作物をめぐる論争』. Per Pinstrup-Andersen, Ebbe Shiøler (著) 沼 圭二, 貝沼 真美, 貝沼 恵美 (訳)
- 2005-10-03#p01 『司法のしゃべりすぎ』, 井上馨
- 2005-10-11#p02 『四季 秋』, 森 博嗣
- 2005-10-19#p02 『エコノミスト 南の貧困と闘う』, ウィリアム・イースタリー(William Easterly) (著), 小浜 裕久, 冨田 陽子, 織井 啓介 (訳)
- 2005-10-20#p04 『陰陽の京〈巻の2〉』, 渡瀬 草一郎 (著), 田島 昭宇 (イラスト)
- 2005-10-21#p01 『新しいプログラミング・パラダイム』, 『続 新しいプログラミング・パラダイム 』
- 2005-10-22#p02 『四季 冬』, 森 博嗣
- 2005-10-31#p01 『ハッカーと画家—コンピュータ時代の創造者たち』, ポール・グレアム(Paul Graham) 著, 川合 史朗 訳
- 2005-11-01#p03 『株取引のことがマンガで3時間でマスターできる本』, 木村 佳子
- 2005-11-02#p01 『夏への扉』, ロバート・A・ハインライン(Robert A. Heinlein) 著, 福島 正実 訳
- 2005-12-18#p03 『反社会学の不埒な研究報告』, パオロ・マッツァリーノ
- 2005-01-21#p01 Composable memory transactions, Tim Harris, Simon Marlow, Simon Peyton Jones, and Maurice Herlihy. Submitted to PPoPP 2005.
- 2005-01-26#p01 Strongly typed heterogeneous collections, Oleg Kiselyov, Ralf Lämmel, and Keean Schupke
- 2005-01-26#p02 Haskell's overlooked object system, Oleg Kiselyov, Ralf Lämmel, and Keean Schupke
- 2005-01-27#p01 Bayesian Networks for Lossless Dataset Compression, Scott Davies and Andrew Moore
- 2005-01-27#p02 Probabilistic Logic Programming and Bayesian Networks, Liem Ngo and Peter Haddawy
- 2005-02-18#p03 Theorems for free!. Philip Wadler
- 2005-02-19#p01 Recursive types for free!, Philip Wadler
- 2005-02-22#p01 When is a function a fold or an unfold?, Jeremy Gibbons, Graham Hutton, and Thorsten Altenkirch
- 2005-02-22#p02 Constructively Characterizing Fold and Unfold, Tjark Weber and James Caldwell
- 2005-03-03#p01 Representations of First order function types as terminal coalgebras, Thorsten Altenkirch
- 2005-03-09#p03 Extensional PERs, Peter J. Freyd, P. Mulry, Giuseppe Rosolini, D. Scott
- 2005-03-09#p04 An introduction to fibrations, topos theory, the effective topos and modest sets, Wesley Phoa
- 2005-03-10#p04 Scott is not Always Sober. By Peter T. Johnstone, in Continuous lattices, Lecture Notes in Mathematics, 871 (1981), pp. 282--283.
- 2005-03-15#p02 Parametricty and Mulry's Strong Dinaturality - A. Eppendahl
- 2005-03-15#p03 Free Theorems in the Presence of seq - P. Johann and J. Voigtländer
- 2005-03-16#p03 Jan Johannsen's cute title collection
- 2005-03-21#p01 Linear Logic complements Classical Logic - Vaughan Pratt
- 2005-03-27#p01 Traced Premonoidal Categories - Nick Benton and Martin Hyland
- 2005-03-31#p04 Algebraically compact functors - Michael Barr
- 2005-04-06#p03 Data Structures Considered Harmful - John G. Cleary, Mark Utting, and Roger Clayton
- 2005-04-14#p03 The SLam Calculus: Programming with Secrecy and Integrity - Nevin Heintze and Jon G. Riecke
- 2005-04-15#p03 Programming with Static Invariants in Ωmega - Nathan Linger and Tim Sheard
- 2005-04-30#p01 Premonoidal categories and notions of computation, John Power and Edmund Robinson
- 2005-05-28#p01 Why Dependent Types Matter. Thorsten Altenkirch, Conor McBride, James McKinna
- 2005-05-29#p02 Extensional Equality in Intensional Type Theory. Thorsten Altenkirch
- 2005-05-31#p02 Describing and Reasoning on Web Services using Process Algebra. Gwen Salaün, Lucas Bordeaux, Marco Schaerf
- 2005-06-04#p02 Qualified Types for MLF by Daan Leijen and Andres Löh
- 2005-07-02#p04 Backtracking, Interleaving, and Terminating Monad Transformers (Functional Pearl). Oleg Kiselyov, Chung-chieh Shan and Daniel P. Friedman and Amr Sabry
- 2005-09-17#p01 型理論での形式的証明記述の技法について; 木下 佳樹, 高村博紀
- 2005-09-22#p01 型代入を遅延する最適化型推論アルゴリズム; 上野雄大, 大堀淳
- 2005-09-23#p01 Agdaプラグイン機構; 池上 大介
- 2005-09-29#p01 Freek Wiedijk. Comparing mathematical provers
- 2005-10-02#p01 Codata, Thorsten Altenkirch
- 2005-10-03#p02 Overloading in Agda. Catarina Coquand
- 2005-10-03#p03 この日記でのスライド等の扱い
- 2005-10-05#p01 Alpha-Prolog: A Logic Programming Language with Names, Binding, and Alpha-Equivalence; James Cheney, Christian Urban
- 2005-10-08#p03 Haskellへの多相バリアントの導入について. 香川 孝司
- 2005-10-10#p01 CoInduction in Coq. Yves Bertot
- 2005-10-11#p01 正規表現とプロセス代数に基づく通信プロトコルコンパイラ. 服部健太, 数馬洋一
- 2005-10-12#p01 一階様相μ計算. 岡本圭史
- 2005-10-13#p01 Logic, Higher-order. Dale Miller
- 2005-10-14#p02 単純型つきλ計算の強正規性の初等的な証明
- 2005-10-16#p01 Interfaces as games, programs as strategies. Markus Michelbrink
- 2005-10-27#p03 Partial co-recursive functions, Yves Bertot
- 2005-10-27#p05 Type Theory with First-Order Data Types and Size-Change Termination, David Wahlstedt
- 2005-11-22#p02 A Cookbook for the Haskell XML Toolbox with Examples for Processing RDF Documents. Manuel Ohlendorf
- 2005-12-08#p02 スクリプト言語Rubyの拡張可能な多言語テキスト処理の実装, 松本行弘 縄手雅彦