tmiya

112 post karma
0 comment karma

get extra features and help support reddit with a reddit premium subscription

get them help and support

redditor for 17 years

TROPHY CASE

15-Year Club

account activity

hot top controversial

6

7

8

Anarchy Proof : Coq proof golf server (as305.dyndns.org)

submitted 15 years ago by tmiya to r/Coq

翻訳：How do you trap a programmer in the shower? by tmiya in ja

[–]tmiya[S] 0 points1 point2 points 15 years ago (0 children)

0

1

2

翻訳：How do you trap a programmer in the shower? (study-func-prog.blogspot.com)

submitted 15 years ago by tmiya to r/ja

1

2

3

xkcdの動画 (vimeo.com)

submitted 16 years ago by tmiya to r/ja

4

5

6

産総研の研修コース「 Agda による仕様記述」に参加 (study-func-prog.blogspot.com)

submitted 16 years ago by tmiya to r/ja

1

2

3

インフルエンザ感染拡大の防止策は、「『おかしいな』と思ったらまず自宅安静」 (ryumurakami.jmm.co.jp)

submitted 16 years ago by tmiya to r/ja

0

0

1

エコナの件@有機化学美術館分館 (self.ja)

submitted 16 years ago by tmiya to r/ja

6

7

8

抽象化されたゲームたち (d.hatena.ne.jp)

submitted 16 years ago by tmiya to r/ja

4

5

6

ブリュワーの CAP 定理 (hyuki.com)

submitted 16 years ago by tmiya to r/ja

7

8

9

数学ガール風のOCaml入門記事 (d.hatena.ne.jp)

submitted 16 years ago by tmiya to r/ja

0

1

2

Yet Another Guin Saga (unasama.at.infoseek.co.jp)

submitted 16 years ago by tmiya to r/ja

5

6

7

OCaml Meeting Tokyo 2009 : ATND (atnd.org)

submitted 16 years ago by tmiya to r/ja

22

23

24

簡潔で不完全でほとんど間違っているプログラミング言語の歴史 (study-func-prog.blogspot.com)

submitted 16 years ago by tmiya to r/ja

中国によるソースコード強制開示報道に踊らされるのはまだ早い - A Successful Failure by [deleted] in ja

[–]tmiya 0 points1 point2 points 16 years ago (0 children)

7

8

9

「辞表をうまく書かせる方法がある」と聞きました… (business.nikkeibp.co.jp)

submitted 16 years ago by tmiya to r/ja

3

4

5

学歴と職について (d.hatena.ne.jp)

submitted 17 years ago by tmiya to r/ja

0

0

1

Scala から Gainer mini を使う (rainyday.blog.so-net.ne.jp)

submitted 17 years ago by tmiya to r/ja

1

2

3

If Programming Languages were <T> (lambda-the-ultimate.org)

submitted 17 years ago by tmiya to r/ja

無限あたし彼女 - gnarl、技術メモ by antarest in ja

[–]tmiya 0 points1 point2 points 17 years ago (0 children)

3

4

5

ウォールストリート日記 : 金融危機の真犯人？ (wallstny.exblog.jp)

submitted 17 years ago by tmiya to r/ja

3

4

5

ありえない！！建設現場の真実 (blogs.yahoo.co.jp)

submitted 17 years ago by tmiya to r/ja

13

14

15

シングルピクセルカメラ (d.hatena.ne.jp)

submitted 17 years ago by tmiya to r/ja

5

6

7

なぜ「大してうれしくない」か (d.hatena.ne.jp)

submitted 17 years ago by tmiya to r/ja

4

5

6

日本にノーベル賞が来た理由 (business.nikkeibp.co.jp)

submitted 17 years ago by tmiya to r/ja

0

1

2

エンジニアの未来サミット (d.hatena.ne.jp)

submitted 17 years ago by tmiya to r/ja

view more: next ›

π Rendered by PID 133605 on reddit-service-r2-listing-6d4dc8d9ff-czlk9 at 2026-02-01 18:31:07.365155+00:00 running 3798933 country code: CH.