J

2004 | 08 | 09 | 10 | 11 | 12 |
2005 | 01 | 02 | 03 | 04 | 05 | 06 | 07 | 08 | 09 | 10 | 11 | 12 |
2006 | 01 | 02 | 03 | 04 | 05 | 06 | 07 | 08 | 09 | 10 | 11 | 12 |
2007 | 01 | 02 | 03 | 04 | 05 | 06 | 12 |
2008 | 01 | 02 | 04 | 10 | 11 | 12 |
2009 | 01 | 02 | 03 | 04 | 05 | 06 | 07 | 08 | 09 | 10 | 11 | 12 |
2010 | 01 | 02 | 03 | 04 | 05 | 06 | 07 | 08 | 09 | 10 | 11 | 12 |
2011 | 01 | 02 | 03 | 04 | 05 | 06 | 07 | 08 | 09 | 10 | 11 | 12 |
2012 | 01 | 03 | 04 | 05 | 06 | 07 | 08 | 12 |
2013 | 01 | 02 | 03 | 05 | 06 | 07 | 08 | 09 | 10 | 11 |
2014 | 01 | 03 | 04 | 05 | 06 | 07 | 08 | 09 | 10 | 11 | 12 |
2015 | 02 | 03 | 04 | 05 | 06 | 07 | 10 | 11 | 12 |
2016 | 01 | 02 | 04 | 05 | 06 | 07 | 09 | 11 | 12 |
2017 | 01 | 02 | 03 | 05 | 06 | 07 | 08 | 09 |

ホーム

日記内の"morihyphen.hp.infoseek.co.jp"へのリンクは切れてます。必要な場合はお手数ですが int.main.jp へ書き換えをお願いします。

TODO: ファイル名確認を忘れないこと > 自分

twitter

 | 

2008-01-06

http://morihyphen.hp.infoseek.co.jp/

あっちに書きます。

2008-01-05

そろそろ東京帰るよ。

今年の正月は反省すべき点が多かったけど、帰ったら忘れるだろう。

Phantom type

C++のテンプレートの特殊化を整理したものという理解でいいか…帰ったらGADTあたり調べる。

ところでテンプレートの特殊化ってC++起源なんかな?

トラックバック - http://d.hatena.ne.jp/w_o/20080105

2008-01-03

akemasiteomedetouzagoimasu.

3回くらい「書かなさすぎだろ」って言われたので今年はもう少し頑張ろうと思う。

Phantom types

前々から

int a[10];
int x = 4;
int y = 6;
return a[x+y];

こういうのコンパイルエラーにできないかと思ってたんだけど、Phantom typeとかそれらへんがそれっぽいな。

http://www.haskell.org/haskellwiki/Phantom_type

http://www.haskell.org/haskellwiki/Type_arithmetic

冬休みの宿題だな。冬休みの宿題多すぎ。

トラックバック - http://d.hatena.ne.jp/w_o/20080103
 |