読む
とりあえずはメモだけ このような「型＝命題，プログラム＝証明」という対応のことを，カリー・ハワードの対応（Curry-Howard correspondence）という http://itpro.nikkeibp.co.jp/article/COLUMN/20070909/281498/ http://www.kmonos.net/wlog/61.html#_05…
BoostでC++0xのライブラリ「TR1」を先取りしよう (1) http://codezine.jp/a/article/aid/1937.aspxえぴさんの記事が。 Boostはわけもわからず使ったことが1回ある程度です(STLはほんの少しだけ分かる)。 これ見て少しお勉強しましょう。。
Visual Studio 2008で進化するASP.NET 3.5の開発手法（前篇） Visual Studio 2008 はC#3.0で遊ぶことにしか使っていないので，お勉強しましょう・・・。 ASP.NETも何かネタでもあればいじって遊ぶんだけど・・・。 某無料サーバが3.5に対応してくれたら。笑
いつか頑張って読もう。。。Refactoring as Meta Programming? http://www.jot.fm/issues/issue_2005_01/column1/英語も読めるようにならなきゃー。 洋書で読みたいのが沢山ある。
テンプレートによるメタプログラミングと数論 http://codezine.jp/a/article.aspx?aid=1687
http://www.issei.org/programming/boost/more/generic_programming.htm http://boost.cppll.jp/HEAD/libs/concept_check/prog_with_concepts.htm http://kakutani.com/trans/fowler/injection.html http://codezine.jp/a/article/aid/1622.aspx http://www.…
コメント欄でいいサイトを教えていただきましたリレーショナル・データベースの世界 http://www.geocities.jp/mickindex/database/idx_database.html [追記] 上でご紹介したサイトの管理人・ミック様が色々アドバイスをくださいました！ 以下のサイトもなか…
LINQ の進化の過程と C# のデザインへの影響 http://msdn.microsoft.com/msdnmag/issues/07/06/csharp30/default.aspx?loc=jp C#3.0そろそろ勉強しないとなー。 2005年9月時点の仕様ならまだ頭に入っているのですが。笑 でも実行環境がないです。。Orcasのβ…
XMLを扱うクラスの知識が少し抜けかかってる・・・（＾＾；； 読んで記憶を蘇らせねば。。連載 .NETで簡単XML http://www.atmarkit.co.jp/fdotnet/easyxml/index/index.html XML クラス バージョン 1.1 からの移行 http://msdn2.microsoft.com/ja-jp/library…
http://www.sgi.com/tech/stl/stl_introduction.html http://www.boost.org/more/generic_programming.html http://www.boost.org/libs/mpl/doc/refmanual/metafunction-class.html http://www.boost.org/libs/mpl/doc/refmanual/metafunction.html h ttp://…
O_Kazukiさんがステキな日記を書かれていたのでメモしておこう。 C#3.0の仕様書読んでからもう半年以上経つかなぁ。 頭から抜けてそう（＾＾； というか、あの頃はコンパイラはおろか、仕様書すら未完成だったような・・・ どちらにせよ勉強のし直しが必要み…
9 Reusable Parallel Data Structures and Algorithms http://msdn.microsoft.com/msdnmag/issues/07/05/CLRInsideOut/default.aspxLightweight Testing with Windows PowerShell http://msdn.microsoft.com/msdnmag/issues/07/05/TestRun/default.aspx MSDN…
