はてなブックマーク - Hatena::Bookmark::pi8027

お気に入り：
表示
非表示

格安小冊子作成・冊子印刷・制作【ちょこっと（ちょ古っ都）製本工房】 www.chokotto.jp
- ゲーム・アニメ
- 13 users
- pi8027 印刷所 2011/12/04
Abella abella.cs.umn.edu
- コンピュータ・IT
- 1 user
- pi8027 theorem prover 2011/11/16
Software Foundations www.cis.upenn.edu:bcpierce
- 科学・学問
- 12 users
- pi8027 coq 2011/11/14
ソフトウェアの基礎 proofcafe.org
- コンピュータ・IT
- 12 users
- pi8027 coq software foundations 日本語訳 2011/11/14
（有）ねこのしっぽ www.shippo.co.jp
- 生活・人生
- 57 users
- pi8027 印刷所 2011/10/28
Peggy - The Parser Generator for Haskell tanakh.github.com
- コンピュータ・IT
- 11 users
- pi8027 haskell Haskell 製パーサ生成系 2011/09/29
vdrめも - バトル継続 - 続々・rxvt-unicode ×問題再び , iceweasel 2.0.0.3-1vd1 , 妖怪大戦争, ベイブ vdr.jp
- コンピュータ・IT
- 2 users
- pi8027 linux East Asian Ambiguous Character Width 問題を locale の修正によって解決する話。 2011/08/28
高校生がアルゴリズムで世界に挑んできます - 簡潔で覚えやすいタイトルを3秒で思いつく程度の能力 d:id:qnighy
- コンピュータ・IT
- 28 users
- pi8027 misc 2011/07/19
DictEm - Dictionary client for Emacs | Download DictEm - Dictionary client for Emacs software for free at SourceForge.net sourceforge.net
- コンピュータ・IT
- 1 user
- pi8027 emacs Emacs の DICT クライアント実装 2011/05/27
埒を明ける日々: Reading The Craft of Prolog ratiwo.blogspot.com
- コンピュータ・IT
- 11 users
- pi8027 programming, prolog 2011/05/25
coinsrinkou sites.google.com
- 生活・人生
- 1 user
- pi8027 misc 2011/05/16
「形から入る」平井洋一: 若い研究者によるリレーエッセイ relayessay.seesaa.net
- 科学・学問
- 2 users
- pi8027 misc 2011/04/28
At home modifier - Gitorious gitorious.org
- コンピュータ・IT
- 2 users
- pi8027 input 2011/04/28
d.y.d. kmonos.net
- コンピュータ・IT
- 1 user
- pi8027 misc regular expression 2011/04/06
プログラミング Coq 〜絶対にバグのないプログラムの書き方〜 www.iij-ii.co.jp
- コンピュータ・IT
- 586 users
- nyaxt coq 2011/04/06
- pi8027 coq 読みましょう読みましょう 2011/04/05
プレス発表文「もんじゅ」炉内中継装置落下関連情報 - 日本原子力研究開発機構敦賀本部 www.jaea.go.jp
- 科学・学問
- 183 users
- pi8027 misc 2011/03/29
cse | FP / Agda mode for Yi wiki.portal.chalmers.se
- コンピュータ・IT
- 1 user
- pi8027 agda 2011/03/12
KeyRemap4MacBook pqrs.org
- コンピュータ・IT
- 226 users
- pi8027 input 2011/02/22
zsh: zsh zsh.sourceforge.net
- 科学・学問
- 6 users
- pi8027 doc 2011/02/22
COSMIC FORGE www.cosmicforge.net
- コンピュータ・IT
- 25 users
- pi8027 dojin 2011/02/18
型推論機構の実装 www.sato.kuis.kyoto-u.ac.jp:igarashi
- コンピュータ・IT
- 8 users
- pi8027 typeinfer 2011/02/16
konbu跡地 d:id:konbulog
- コンピュータ・IT
- 1 user
- pi8027 neta 2011/02/12
Enumerator Package – Yet Another Iteratee Tutorial : Preferred Research research.preferred.jp
- コンピュータ・IT
- 34 users
- pi8027 haskell 2011/02/10
腕に覚えのある少年プログラマー達よ、秋葉原に来たれ!! 君はもう一人じゃない - Keep Crazy;shi3zの日記 d:id:shi3z
- コンピュータ・IT
- 470 users
- pi8027 misc アッ。応募した気がする。 2011/02/09
Pro Git - Table of Contents progit.org
- コンピュータ・IT
- 811 users
- pi8027 git 2011/02/03
Linuxでうっかりrm -rfしちゃったけど復活出来たよー＼(＾o＾)／ - y-kawazの日記 d:id:y-kawaz
- コンピュータ・IT
- 1560 users
- pi8027 linux 2011/01/23
生活メモ: 就職することにした fallabs.com
- コンピュータ・IT
- 448 users
- pi8027 misc 2011/01/19
正格性解析 (Strictness Analysis) - ヒビルテ(2010-12-28) www.tom.sfc.keio.ac.jp:sakai
- コンピュータ・IT
- 7 users
- pi8027 haskell すばらしい 2010/12/30
Haskellコードの高速化 www.kotha.net
- コンピュータ・IT
- 28 users
- pi8027 programming, haskell 2010/12/26
型推論はどのようにして実装されているか - ラムダプラス+の紹介 - Hatena::Diary::pi8027 d:id:pi8027
- コンピュータ・IT
- 56 users
- nyaxt haskell, programming language 2010/12/27
- pi8027 self, typeinfer なんか予想外にはてぶ付いてる。1月の HIMA' などにも持っていく予定ですし、直接会う予定のある方は言って下されば持って行きます。>コミケ参加しない方 2010/12/26
YouTube - Google で、もっと。エア・スカイダイビング www.youtube.com
- おもしろ
- 6 users
- pi8027 video 2010/12/25
Togetter - 「let rec の型推論と多相型」 togetter.com
- 科学・学問
- 4 users
- pi8027 programming, haskell 2010/12/25
ANSI Common Lisp www.franz.com
- コンピュータ・IT
- 7 users
- pi8027 programming, common lisp 2010/12/11
The Agda Wiki - Coinductive data types wiki.portal.chalmers.se
- コンピュータ・IT
- 1 user
- pi8027 programming, agda 2010/12/11
[PARTAKE] partake.in
- コンピュータ・IT
- 227 users
- pi8027 web service 2010/12/06
Spaghetti Source - 強連結成分分解 www.prefield.com
- コンピュータ・IT
- 1 user
- pi8027 programming 2010/11/26
大家目線で教える賃貸マンションの賢い探し方 - ゆきらん 83yuki.blogspot.com
- 生活・人生
- 2226 users
- pi8027 lifehack 2010/11/26
FPGA-CAFE www.fpga-cafe.com
- コンピュータ・IT
- 34 users
- pi8027 misc 2010/11/21
関数型的正規表現マッチ : Preferred Research Blog research.preferred.jp
- コンピュータ・IT
- 60 users
- pi8027 haskell 2010/11/20
オーム社eStore(β) | Ohmsha estore.ohmsha.co.jp
- コンピュータ・IT
- 236 users
- pi8027 programming オライリーに続きオーム社も。プログラミング Haskell と関数プログラミングの楽しみを読みたい。 2010/11/20
Michitaka HIROSE www.cyber.rcast.u-tokyo.ac.jp
- 4 users
- pi8027 あの人 2010/11/17
progit's progit at master - GitHub github.com
- コンピュータ・IT
- 17 users
- pi8027 git 2010/10/29
- amachang github で管理された git のドキュメント。未読。良さそう 2010/10/28 2 RT
  
  2 RT
ICFP Programming Contest 2010 優勝 - 純粋関数型雑記帳 d:id:tanakh
- コンピュータ・IT
- 27 users
- pi8027 programming, haskell おめでとうございます。 2010/10/06
【2ch】ニュー速クオリティ:秋葉原でメシ食うときって　　どこ行けばいいの？ news4vip.livedoor.biz
- 生活・人生
- 554 users
- pi8027 misc カレキチ潰れたらしく選択肢減ってしまったので、あとでよむ 2010/10/06
xmonad : a tiling window manager xmonad.org
- コンピュータ・IT
- 43 users
- pi8027 window-manager, haskell Haskell 製ウィンドウマネージャ xmonad。ratpoison から乗り換えた。 2010/10/03
color-theme homepage www.nongnu.org
- コンピュータ・IT
- 12 users
- pi8027 emacs 2010/10/03
YouTube - Technoboy - Next Dimensional World (Qlimax 2008 Anthem)HQ www.youtube.com
- コンピュータ・IT
- 1 user
- pi8027 music 2010/10/03
YouTube - Hardstyle Masterz ft Max Enforcer - Respect www.youtube.com
- コンピュータ・IT
- 1 user
- pi8027 music 2010/10/03
††††猫禁猟区†††† www.s1.inets.jp:nekoneko
- 社会
- 20 users
- pi8027 illust 2010/09/11
OCaml API search search.ocaml.jp
- コンピュータ・IT
- 20 users
- pi8027 web service 2010/08/27
d.y.d. Curry-Howard Isomorphism www.kmonos.net
- コンピュータ・IT
- 86 users
- pi8027 programming 2010/07/15
未踏説明会で発表してきM@ster 〜漫画で読む未踏ユース〜 - モリキチのひみつきち d:id:monja415
- コンピュータ・IT
- 68 users
- pi8027 misc 2010/07/13
最近知ったLinux/UNIXの小技 - harry’s memorandum d:id:dharry
- コンピュータ・IT
- 585 users
- pi8027 lifehack 2010/07/11
ヌメロニム - Wikipedia ja.wikipedia.org
- コンピュータ・IT
- 58 users
- pi8027 misc 名前忘れるのでブクマ 2010/07/09
Happy Hacking Keyboardを痛キーボード化してみたよ‐ニコニコ動画(ββ) www.nicovideo.jp
- コンピュータ・IT
- 4 users
- pi8027 video 2010/07/07
haskell2010 www.haskell.org
- コンピュータ・IT
- 13 users
- pi8027 programming, haskell 2010/07/06
株式会社プリファードインフラストラクチャー preferred.jp
- コンピュータ・IT
- 220 users
- pi8027 company 2010/07/01
FreeBSD ハンドブック www.freebsd.org
- コンピュータ・IT
- 19 users
- pi8027 doc 2010/07/01
ratpoison: Say good-bye to the rodent www.nongnu.org
- コンピュータ・IT
- 25 users
- pi8027 window-manager 2010/07/01
@nifty：デイリーポータルZ：本当に美味い「食べるラー油」はどれだ？ portal.nifty.com
- 生活・人生
- 120 users
- pi8027 food 2010/07/01
authorNari's minigc at master - GitHub github.com
- コンピュータ・IT
- 4 users
- pi8027 programming, gc mark and sweep gc 2010/06/03
Gauche(Scheme) でデバッグをする4つの方法 - ひげぽん OSとか作っちゃうかMona- d:id:higepon
- コンピュータ・IT
- 89 users
- pi8027 programming, scheme これで頭の悪いぼくでも Scheme が書ける! 2010/06/03
LoveeHome » 天使ちゃんもお気に入り！激辛麻婆豆腐レシピ www.loveehome.net
- 生活・人生
- 2 users
- pi8027 food 2010/05/31
YouTube - DJ JUANMA - Superstar www.youtube.com
- 社会
- 1 user
- pi8027 music 2010/05/28
裁断機 PK-513L で本を 100冊裁断してみた - 経験した 9つの失敗とその回避方法 - 彼女からは、おいちゃんと呼ばれています d:id:inouetakuya
- コンピュータ・IT
- 1203 users
- pi8027 lifehack 2010/05/13
【楽天市場】OA PLAZA：資源再利用、中古ＯＡ機器及びプリンタ、モニタ等の周辺機器を激安値段で！ www.rakuten.co.jp
- 生活・人生
- 4 users
- pi8027 misc 2010/05/08
【2ch】ニュー速クオリティ:東方ProjectのZUN氏がNHKのテレビ番組に出演して2次創作を解説 news4vip.livedoor.biz
- ゲーム・アニメ
- 118 users
- pi8027 person 2010/05/05
Linux で SandS の実現を目指す : xf86-input-evdev の修正（メモ） - 落書き、時々落学 d:id:jeneshicc
- コンピュータ・IT
- 10 users
- pi8027 input 2010/04/27
発表資料 - HaHaHa! d:id:nobsun
- コンピュータ・IT
- 1 user
- pi8027 programming, haskell 2010/04/26
Detexify LaTeX handwritten symbol recognition detexify.kirelabs.org
- コンピュータ・IT
- 131 users
- pi8027 tex, tools 2010/04/25
ほどけないコツ、種類に合った結び方は？上手な「靴ひもの結び方」 - はてなブックマークニュース b.hatena.ne.jp:articles
- 生活・人生
- 1093 users
- pi8027 lifehack 参考 : http://www.fieggen.com/shoelace/ianknot.htm 2010/04/20
SOHO家具（オフィス家具＋インテリア家具）の通販ショップGarage（ガラージ）｜直営・公式サイト garage.plus.co.jp
- 生活・人生
- 929 users
- pi8027 misc 家具とか 2010/04/13
導入事例｜社内恋愛促進グループウェアサイボウズ Office 0（ラブ） products.cybozu.co.jp
- コンピュータ・IT
- 123 users
- pi8027 エイプリルフール竹迫さんの下の名前の読み方を忘れて調べてしまった。 2010/04/02
- amachang 導入事例｜社内恋愛促進グループウェアサイボウズ Office 0（ラブ） 2010/04/01
Wadler: Monads homepages.inf.ed.ac.uk
- コンピュータ・IT
- 16 users
- pi8027 programming 参考 : http://twitter.com/ranha/status/11015946233 2010/03/25
エアリープログラミングの紹介 - ばらゆりてちよう d:id:rosylilly
- コンピュータ・IT
- 39 users
- pi8027 neta 2010/03/24
褒め春香さん niha28.sakura.ne.jp
- ゲーム・アニメ
- 66 users
- pi8027 web service 2010/03/22
Emacsは死んだ cx4a.org
- コンピュータ・IT
- 165 users
- pi8027 doc 2010/03/12
Prelude www.haskell.org
- コンピュータ・IT
- 3 users
- pi8027 programming, haskell Prelude 2010/02/18
Suim Demo: index suim.jp
- 科学・学問
- 29 users
- pi8027 tools 数式IM 2010/02/15
compiler resume "Garbage Collection" www.is.s.u-tokyo.ac.jp
- コンピュータ・IT
- 11 users
- pi8027 programming, compiler, gc 2010/02/13
夢の対談が実現！門林雄基氏 vs 千々和大輝氏【デジタルネイティブと企業】 - livedoor ニュース news.livedoor.com
- コンピュータ・IT
- 22 users
- pi8027 person 2010/02/07
Big Sky :: Vim script manager「Vimana」が便利すぎる。 mattn.kaoriya.net
- コンピュータ・IT
- 293 users
- pi8027 vim すばらしい。 2010/02/04
【都市伝説を追う】路上パソコン族「ストリートコンピューティング」を探し出せ！ (1/3ページ) - MSN産経ニュース sankei.jp.msn.com
- コンピュータ・IT
- 225 users
- pi8027 self なんか見覚えあるなーと思ったら青いのが自分でした!!!! 2010/01/31
「最強最速アルゴリズマー養成講座」最新記事一覧 - ITmedia Keywords www.itmedia.co.jp
- コンピュータ・IT
- 941 users
- pi8027 programming, algorithm 2010/01/17
The Typeclassopediaを訳しました , The Typeclassopedia - #3(2009-10-20) snak.tdiary.net
- コンピュータ・IT
- 35 users
- pi8027 programming, haskell The Typeclassopedia 日本語訳 2010/01/15
TMR-Issue13.pdf www.haskell.org
- コンピュータ・IT
- 1 user
- pi8027 programming, haskell The Typeclassopedia 原文 2010/01/15
栄光のグラスゴーHaskellコンパイルシステム利用の手引き　バージョン6.8.3 www.kotha.net
- コンピュータ・IT
- 66 users
- pi8027 programming, haskell 2010/01/15
C2機関（C2 ARCHITECTURE） www.c2architecture.com
- 生活・人生
- 9 users
- pi8027 dojin パンの同人誌に定評のあるサークル。 2009/12/28
とある櫻花の画像生成 to-a.ru
- おもしろ
- 1052 users
- pi8027 web service, neta 2009/12/24
The Haskell 98 Report: Expressions www.sampou.org
- コンピュータ・IT
- 1 user
- pi8027 programming, haskell 構文/パーサ書きの資料として 2009/12/16
数学好きが位相幾何学を応用してベーグルをカットするとこうなる - GIGAZINE gigazine.net
- 科学・学問
- 399 users
- pi8027 neta 連なってる輪をくっつける方向で考えると分かりやすいかも。 2009/12/09
メモリ破壊の現場を見つけるTips - I am Cruby! d:id:authorNari
- コンピュータ・IT
- 127 users
- pi8027 programming, c これはべんり 2009/12/05
- nyaxt ruby, dev, programming, debug, binary2.0 すばらしい 2009/12/04
Lololyrics - Hardstyle, Hardcore, Drum & Bass, Psychedelic Trance and more www.lololyrics.com
- コンピュータ・IT
- 4 users
- pi8027 music 2009/12/02
ニコニコ実況 jk.nicovideo.jp
- コンピュータ・IT
- 40 users
- pi8027 neta 2009/11/28
2008_2_ci_practice_all.pdf www.i.u-tokyo.ac.jp
- コンピュータ・IT
- 1 user
- pi8027 programming elevator problem 2009/11/23
The Go Programming Language golang.org
- コンピュータ・IT
- 1120 users
- amachang グログラミング言Go!／おもしろそう 2009/11/11
- pi8027 programming なんか名前似てるのあったなーと思ったら goruby でした。全く関係無い。 2009/11/11
vimエディタから外部のプログラムやコマンドを実行する。 — 名無しのvim使い nanasi.jp
- コンピュータ・IT
- 46 users
- pi8027 vim 2009/11/07
Git初心者が絶対に覚えておくべきコマンド - idesaku blog d:id:idesaku
- コンピュータ・IT
- 597 users
- pi8027 git 2009/11/07
中古ドメインでGoogleAppsを使ったら - y-kawazの日記 d:id:y-kawaz
- コンピュータ・IT
- 372 users
- pi8027 google GoogleApps こわい。3ドメインで運用してるんですが...! 2009/11/07
[コンパイラ][Haskell][OCaml] Haskellのinfixの仕組み - mad日記 d:id:MaD
- コンピュータ・IT
- 3 users
- pi8027 programming, compiler 2009/11/04

RSS

		2012/02
日	月	火	水	木	金	土
			1	2	3	4
5	6	7	8	9	10	11
12	13	14	15	16	17	18
19	20	21	22	23	24	25
26	27	28	29

pi8027さんも「はてなブックマーク」を使っています。

Hatena::Bookmark::pi8027

pi8027

カレンダー

タグ (49)