オリジナルは自分で生むしかない クーラーをつけている室内で、こつこつ編む。毎日最低1つ、定番のグラニースクエアを編む。そう、最近のマイブームは編み物です。手作りでオリジナルのものを作りたいという願望から。去年の春あたりにもやっていたんですが、急に1ヶ月ほどで飽きて終了。それから、先…
はてなブログ | 無料ブログを作成しよう
オリジナルは自分で生むしかない クーラーをつけている室内で、こつこつ編む。毎日最低1つ、定番のグラニースクエアを編む。そう、最近のマイブームは編み物です。手作りでオリジナルのものを作りたいという願望から。去年の春あたりにもやっていたんですが、急に1ヶ月ほどで飽きて終了。それから、先…
関数型！侵略ノススメ☆ - 純粋関数型雑記帳
（この記事は Functional Ikamusume Advent Calendar jp 2010 の為に書かれました） 侵略！侵略！侵略！侵略！侵略！侵略！イカ娘！ 再帰しなイカ？ main = putStrLn $ f 6 where f 0 = "イカ娘！" f n = "侵略！" ++ f (n-1) 古風に再帰しなイカ？ main = putStrLn $ f 6 where f 0 = "イカ娘！" f (n+1) = "侵略！" ++ f n 左派じゃなイカ？ main = putStrLn $ foldl (\a _ -> "侵略！"++a) "イカ娘！" [1..6] 右派じゃなイカ？ main = putStrLn $ foldr (\_ a -> "侵略！"++a) "イカ娘！" [1..6] 右派に見せかけた左派じゃないか？ main = putStrLn $
ホワット・ア・ワンダフル・ワールド 本物のプログラマは do を恐れずに使う
Author:あろは (alohakun) WAKATSUKI toshihiro 連絡先 : alohakun ___at___ gmail.com mixi : http://mixi.jp/show_friend.pl?id=182927 twitter : http://twitter.com/alohakun abstract プログラミングという人間の知的行為を体系化し，単なる職人芸ではなく，サイエンスにするための研究をしています． 具体的には，等価変換計算モデルに基づいた，仕様記述からのプログラム合成の研究をしています． もっと噛み砕くと，プログラムの正しさをどのように定式化し，どのような枠組みで，どのように変換を進めていけば，正しさを保証したまま，効率的なプログラムを手に入れることができるのか，ということについて研究しています． キーワード : equivalent tra
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
