ヒビルテ [ALL (2004年)]
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
- 2004-01-02#p03 newtype/datatype (was efficiency)
- 2004-01-09#p01 MSにいるHaskellの大物
- 2004-01-10#p02 "The Haskell Road to Logic, Math and Programming" by Kees Doets and Jan van Eijck
- 2004-03-18#p03 CPL
- 2004-03-28#p01 gtk2hs-0.9.4
- 2004-04-04#p01 gtk2hs-0.9.4 (その2)
- 2004-04-07#p01 The Haskell 98 Foreign Function Interface 1.0: An Addendum to the Haskell 98 Report
- 2004-04-10#p01 John Hughes, "Generalising Monads to Arrows"
- 2004-04-11#p01 G-machine
- 2004-04-12#p01 Hugs の Foreign.C.String での Unicode⇔locale の変換
- 2004-04-24#p01 "Typing Haskell in Haskell", Mark P. Jones
- 2004-05-23#p01 "Restricted Datatypes in Haskell", John Hughes (Chalmers University, Sweden)
- 2004-05-29#p04 "A New Notation for Arrows", Ross Paterson
- 2004-06-02#p01 Closed Freyd- and kappa-categories, John Power and Hayo Thielecke
- 2004-06-14#p01 Haddock
- 2004-06-18#p01 Lightweight Language Weekend
- 2004-06-20#p02 GHC panic
- 2004-06-29#p01 V. Vene. Categorical programming with inductive and coinductive types. Diss. Math. Uni. Tartuensis, v. 23, Uni. of Tartu, Aug. 2000. - .ps.gz, .pdf.
- 2004-06-30#p01 Haskell support for the Eclipse IDE
- 2004-07-16#p01 Call For Participation: Haskell Marathon
- 2004-07-17#p02 素数リスト
- 2004-07-20#p04 AKSアルゴリズム
- 2004-07-27#p02 Enumerating the Rationals.
- 2004-07-29#p03 WASH
- 2004-07-30#p03 hOp
- 2004-07-31#p02 Haskellマラソン
- 2004-07-31#p04 Haskellの代数的データ型は始代数ではない
- 2004-07-31#p05 Haskellの代数的データ型は始代数ではない? (2)
- 2004-07-31#p06 Haskellの代数的データ型は始代数ではない? (3)
- 2004-07-31#p07 Haskellの代数的データ型は始代数ではない? (4)
- 2004-08-01#p02 Haskellマラソン 2日目
- 2004-08-03#p01 WASH (2)
- 2004-08-03#p02 Re: wxHaskell (その3)
- 2004-08-05#p08 Supertyping Suggestion for Haskell
- 2004-08-10#p01 "Dynamic Linking in Haskell", Hampus Ram
- 2004-08-11#p01 "Wearing the hair shirt: a retrospective on Haskell.", Simon Peyton Jones, invited talk at POPL 2003.
- 2004-08-21#p01 "Non-stop Haskell", Andy Cheadle, Tony Field, Simon Marlow, Simon Peyton Jones, and Lyndon While; ICFP 2000.
- 2004-08-22#p02 "Lazy functional state threads", John Launchbury, Simon L. Peyton Jones
- 2004-08-25#p02 "Generational garbage collection for Haskell", Patrick M. Sansom, Simon L. Peyton Jones
- 2004-08-29#p05 "Compiling Haskell to Java", Mark Tullsen
- 2004-09-02#p02 Re: Functor と Monad
- 2004-09-03#p02 "Type Classes with Functional Dependencies", Mark P. Jones
- 2004-09-11#p04 制限された関数だけクラスのインスタンスにする
- 2004-09-12#p01 型を返す関数
- 2004-09-27#p04 Epigram
- 2004-10-23#p01 Re: 正格性アナライザー
- 2004-11-01#p01 Re: 正格性解析
- 2004-11-03#p01 ghc の新しい機能 Generalized Algebraic Data Types (GADT)
- 2004-11-13#p01 AVL木でGADTを試してみる
- 2004-11-14#p01 RTDSC.hsc
- 2004-11-15#p02 Concurrent Haskell と FFI
- 2004-11-16#p01 Making a fast curry: push/enter vs. eval/apply for higher-order languages, Simon Marlow and Simon Peyton Jones
- 2004-11-17#p01 Lazy Depth-First Search and Linear Graph Algorithms in Haskell, David J. King and John Launchbury
- 2004-11-19#p03 AVL木でGADTを試してみる (2)
- 2004-11-20#p02 CPLのHaskell版を公開
- 2004-11-21#p01 hyperset
- 2004-11-24#p01 hyperset
- 2004-11-27#p01 hyperset
- 2004-11-28#p01 "top-downのmemoization" と histomorphism
- 2004-12-04#p01 Re: スーパータイピング
- 2004-12-06#p01 HaskellでScheme処理系を実装 (1)
- 2004-12-07#p01 Hypersetの使い方
- 2004-12-09#p04 Tarmo Uustalu, Varmo Vene and Alberto Pardo, Comonadic Iteration
- 2004-12-09#p05 Category extras
- 2004-12-11#p01 HaskellでScheme処理系を実装 (2)
- 2004-12-14#p02 HaskellでScheme処理系を実装 (3)
- 2004-12-14#p03 Constructed Product Result Analysis for Haskell, Clem Baker-Finch, Kevin Glynn, Simon Peyton Jones
- 2004-12-14#p04 GHC の worker wrapper transformation への不満
- 2004-12-26#p02 ghciのローダー (1)
- 2004-12-26#p03 ghciのローダー (2)
- 2004-12-28#p01 可変長引数の関数?
- 2004-01-22#p03 Re: 街で見かけた数学用語
- 2004-04-03#p01 Polymorphism is not set-theoretic
- 2004-04-10#p01 John Hughes, "Generalising Monads to Arrows"
- 2004-04-25#p01 "Categories for Everybody", Steve Awodey
- 2004-04-28#p01 "Institution Morphisms", Joseph Goguen, Grigore Rosu
- 2004-06-02#p01 Closed Freyd- and kappa-categories, John Power and Hayo Thielecke
- 2004-06-29#p01 V. Vene. Categorical programming with inductive and coinductive types. Diss. Math. Uni. Tartuensis, v. 23, Uni. of Tartu, Aug. 2000. - .ps.gz, .pdf.
- 2004-07-28#p01 FREYD, P. J. 1990. Recursive Types Reduced to Inductive Types. In Proceedings 5th IEEE Annual Symp. on Logic in Computer Science, LICS'90 (Philadelphia, PA, USA, 4-7 June 1990). IEEE Computer Society Press, Los Alamitos, CA, 498-507.
- 2004-07-31#p04 Haskellの代数的データ型は始代数ではない
- 2004-07-31#p05 Haskellの代数的データ型は始代数ではない? (2)
- 2004-07-31#p06 Haskellの代数的データ型は始代数ではない? (3)
- 2004-07-31#p07 Haskellの代数的データ型は始代数ではない? (4)
- 2004-11-07#p02 圏論勉強会開催予定が決定
- 2004-11-20#p01 第一回圏論勉強会
- 2004-12-08#p01 Announce: 圏論勉強会 (第二回)
- 2004-12-09#p05 Category extras
- 2004-12-11#p02 第二回圏論勉強会
- 2004-01-05#p02 借りた本
- 2004-01-07#p01 借りた本
- 2004-01-07#p02 読書
- 2004-01-08#p04 買った本
- 2004-01-10#p02 "The Haskell Road to Logic, Math and Programming" by Kees Doets and Jan van Eijck
- 2004-01-12#p01 借りた本
- 2004-01-14#p02 読書
- 2004-01-19#p01 読書
- 2004-01-27#p03 借りた本
- 2004-01-27#p05 『声に出して読めないネット掲示板』, 荷宮 和子
- 2004-02-11#p01 買った本
- 2004-02-14#p01 借りた本
- 2004-02-15#p02 読書
- 2004-02-16#p04 読書
- 2004-02-17#p02 読書
- 2004-03-04#p01 借りた本
- 2004-03-09#p01 借りた本
- 2004-03-18#p04 借りた本
- 2004-03-24#p01 借りた本
- 2004-03-30#p02 読書
- 2004-03-31#p02 買った本
- 2004-04-10#p02 借りた本
- 2004-04-15#p01 読書
- 2004-04-16#p01 読書
- 2004-04-19#p02 『ラバーズ 1』, 犬上 すくね
- 2004-04-20#p01 読書
- 2004-04-22#p01 『ういうい♥days』, 犬上 すくね
- 2004-04-25#p01 "Categories for Everybody", Steve Awodey
- 2004-04-25#p02 借りた本
- 2004-04-26#p02 『ダーリンは外国人 2』, 小栗 左多里
- 2004-04-27#p02 『政策分析入門』 E.ストーキー, R.ゼックハウザー
- 2004-04-30#p01 読書
- 2004-05-01#p02 読書
- 2004-05-26#p01 借りた本
- 2004-06-28#p02 『白い月光 (1)』『白い月光 (2)』 花見沢 Q太郎
- 2004-06-29#p03 『NHKにようこそ!』, 滝本 竜彦 [原作] 大岩 ケンヂ [画]
- 2004-07-01#p03 『野蛮の園』, 西川 魯介
- 2004-07-20#p03 買った本
- 2004-07-29#p02 『ベルセルク 27』 三浦 建太郎
- 2004-08-12#p02 "Purely Functional Data Structures", Chris Okasaki
- 2004-08-22#p01 日中再考
- 2004-08-27#p04 『光速より速い光 〜アインシュタインに挑む若き科学者の物語』, ジョアオ・マゲイジョ(João Magueijo) [著], 青木 薫 [訳]
- 2004-08-29#p02 『「知財」で稼ぐ！』
- 2004-09-03#p01 『同盟を考える—国々の生き方 』, 船橋 洋一
- 2004-09-05#p02 『第二次大戦とは何だったのか?—戦争の世紀とその指導者たち』, 福田 和也
- 2004-09-07#p01 『セクシーな数学 — ゲーデルから芸術・科学まで』, グレゴリー・J・チャイティン(Gregory J. Chaitin) [著], 黒川 利明 [訳]
- 2004-09-08#p01 『慰安婦と戦場の性』, 秦 郁彦
- 2004-09-09#p01 『DEATH NOTE (3)』, 大場 つぐみ [著], 小畑 健 [イラスト]
- 2004-09-09#p03 『しずるさんと偏屈な死者たち』, 上遠野 浩平 [著], 椋本 夏夜 [イラスト]
- 2004-09-10#p01 『聖・高校生 1』, 小池田 マヤ
- 2004-09-11#p01 『日本再生に「痛み」はいらない』, 岩田 規久男, 八田 達夫
- 2004-09-12#p03 『蕎麦ときしめん』, 清水 義範
- 2004-09-15#p01 『百億の昼と千億の夜』, 光瀬 龍
- 2004-09-16#p02 『世界から見た大東亜戦争 — The Holy Mission of DAI-TOA』, 名越 二荒之助 [編]
- 2004-09-24#p02 『迷宮百年の睡魔』, 森 博嗣 [著]
- 2004-09-29#p03 『輝ける日々』, ダニエル・スティール(Danielle Steel) [著], 畑 正憲 [訳]
- 2004-10-03#p01 『江戸幕府・破産への道—貨幣改鋳のツケ』, 三上 隆三
- 2004-10-04#p01 『祈りの回廊』, 野町 和嘉
- 2004-10-05#p01 『女子大生会計士の事件簿』, 山田 真哉
- 2004-10-11#p01 『アリソンⅡ 真昼の夜の夢』, 時雨沢 恵一 [著] 黒星 紅白 [イラスト]
- 2004-10-12#p01 『BASTARD!!—黒い虹Ⅱ』, ベニー松山
- 2004-10-14#p01 杉原千畝は素晴らしいと思うが……
- 2004-10-15#p01 もう一つの転換点
- 2004-10-23#p02 『日本型サラリーマンは復活する』, 田中 秀臣
- 2004-10-24#p01 『あなたは虚人と星に舞う』, 上遠野 浩平 [著], 中澤一登[イラスト]
- 2004-10-25#p01 『インビジブルハート—恋におちた経済学者』, ラッセル・ロバーツ (Russell Roberts) [著], 沢崎 冬日 [訳]
- 2004-10-29#p01 「進化論」の起源
- 2004-11-08#p03 『風の大陸 氷の島1』, 竹河 聖
- 2004-11-09#p04 『哲学の最前線—ハーバードより愛をこめて』, 富田 恭彦
- 2004-11-12#p01 数学への想像力と情熱
- 2004-11-12#p02 どんな境遇にあっても、頭脳さえあれば
- 2004-11-18#p01 『火車』, 宮部 みゆき
- 2004-11-19#p02 『都市の魅力学』, 原田 泰
- 2004-11-24#p02 『新・土曜ワイド殺人事件—京都藁人形殺人事件』, とり みき, ゆうき まさみ
- 2004-11-24#p03 『ラブやん 4』, 田丸 浩史
- 2004-11-24#p04 『げんしけん 5』, 木尾 士目
- 2004-12-03#p02 『YOUNG&FINE』, 山本 直樹
- 2004-12-03#p03 不思議ちゃんの小気味よさ
- 2004-12-05#p01 『さよならみどりちゃん』, 南 Q太
- 2004-12-07#p03 『NHKにようこそ! 2』, 大岩 ケンヂ [画], 滝本 竜彦 [原作]
- 2004-12-10#p02 『…の女』, 藤村 真理
- 2004-12-10#p03 ユーモラスな切り口による日本人論
- 2004-12-14#p01 『GOTH 』, 乙一 原作, 大岩 ケンヂ 画
- 2004-12-17#p03 異文化理解には相手の文化や信念の尊重が重要だが……
- 2004-12-18#p02 『猫の地球儀 焔の章』, 秋山 瑞人 著, 椎名 優 イラスト
- 2004-12-19#p02 『ネガティブハッピー・チェーンソーエッヂ』, 滝本 竜彦
- 2004-12-22#p02 『アポロ13号 奇跡の生還』, ヘンリー・クーパーJr (Henry S.F. Cooper, Jr) 著, 立花 隆 訳
- 2004-01-08#p02 Citrus iconv の実装
- 2004-01-28#p02 Detours: Binary Interception of Win32 Functions
- 2004-02-10#p01 IF-Map: An Ontology-Mapping Method based on Information-Flow Theory
- 2004-04-03#p01 Polymorphism is not set-theoretic
- 2004-04-10#p01 John Hughes, "Generalising Monads to Arrows"
- 2004-04-24#p01 "Typing Haskell in Haskell", Mark P. Jones
- 2004-04-27#p01 "Language-Based Information-Flow Security", Andrei Sabelfeld and Andrew C. Myers
- 2004-04-28#p01 "Institution Morphisms", Joseph Goguen, Grigore Rosu
- 2004-05-01#p03 "A denotational semantics of inheritance and its correctness", William Cook and Jens Palsberg
- 2004-05-23#p01 "Restricted Datatypes in Haskell", John Hughes (Chalmers University, Sweden)
- 2004-05-29#p04 "A New Notation for Arrows", Ross Paterson
- 2004-06-02#p01 Closed Freyd- and kappa-categories, John Power and Hayo Thielecke
- 2004-06-12#p01 "部分グラフ同型判定アルゴリズムのFPGAによる実装と評価", 市川 周一, ラターナセンタン・ウドーン(Lerdtanaseangtham Udorn), 小西 幸治
- 2004-06-29#p01 V. Vene. Categorical programming with inductive and coinductive types. Diss. Math. Uni. Tartuensis, v. 23, Uni. of Tartu, Aug. 2000. - .ps.gz, .pdf.
- 2004-07-03#p03 Bananas in Space: extending Fold and Unfold to Exponential Types
- 2004-07-27#p02 Enumerating the Rationals.
- 2004-07-28#p01 FREYD, P. J. 1990. Recursive Types Reduced to Inductive Types. In Proceedings 5th IEEE Annual Symp. on Logic in Computer Science, LICS'90 (Philadelphia, PA, USA, 4-7 June 1990). IEEE Computer Society Press, Los Alamitos, CA, 498-507.
- 2004-08-02#p01 "擬データを用いた対話的関数プログラミングに関する研究", 石井裕一郎
- 2004-08-04#p01 "Inductive, coinductive, and pointed types", Brian T. Howard
- 2004-08-05#p02 "RAL: an Algebra for Querying RDF", Flavius Frasincar, Geert-Jan Houben, Richard Vdovjak, Peter Barna (PDF, PS, PPT)
- 2004-08-12#p02 "Purely Functional Data Structures", Chris Okasaki
- 2004-08-21#p01 "Non-stop Haskell", Andy Cheadle, Tony Field, Simon Marlow, Simon Peyton Jones, and Lyndon While; ICFP 2000.
- 2004-08-22#p02 "Lazy functional state threads", John Launchbury, Simon L. Peyton Jones
- 2004-08-23#p01 論文読み会
- 2004-08-24#p02 "A New Method for Functional Arrays", Melissa O'Neill, F. Warren Burton
- 2004-08-25#p02 "Generational garbage collection for Haskell", Patrick M. Sansom, Simon L. Peyton Jones
- 2004-08-26#p01 Jan-Åke Hedström, "RubySharp - a Ruby to CIL Compiler", [PDF]
- 2004-08-26#p02 Anders Alexandersson, "RubyComp - a Ruby-to-LLVM Compiler Prototype", [PDF]
- 2004-08-29#p05 "Compiling Haskell to Java", Mark Tullsen
- 2004-09-02#p03 "Graph Rewriting Semantics for Functional Programming Language", Marko van Eekelen, Sjaak Smetsers, Rinus Plasmeijer
- 2004-09-03#p02 "Type Classes with Functional Dependencies", Mark P. Jones
- 2004-11-16#p01 Making a fast curry: push/enter vs. eval/apply for higher-order languages, Simon Marlow and Simon Peyton Jones
- 2004-11-17#p01 Lazy Depth-First Search and Linear Graph Algorithms in Haskell, David J. King and John Launchbury
- 2004-12-09#p04 Tarmo Uustalu, Varmo Vene and Alberto Pardo, Comonadic Iteration
- 2004-12-14#p03 Constructed Product Result Analysis for Haskell, Clem Baker-Finch, Kevin Glynn, Simon Peyton Jones
