Today アクセスカウンター Yesterday アクセスカウンター

ホワット・ア・ワンダフル・ワールド

私は知識に何ものかを付け加え，また他の人々がより多くのものを付け加える手助けをした --- G.H.ハーディ

全記事一覧 << 2008/07 12345678910111213141516171819202122232425262728293031 2008/09 >>

プロフィール

あろは (alohakun)

  • Author:あろは (alohakun)
  • 若槻俊宏 (WAKATSUKI toshihiro)

    連絡先 : alohakun ___at___ gmail.com
    mixi : http://mixi.jp/show_friend.pl?id=182927
    twitter : http://twitter.com/alohakun

    abstract

    プログラミングという人間の知的行為を体系化し，単なる職人芸ではなく，サイエンスにするための研究をしています．

    具体的には，等価変換計算モデルに基づいた，仕様記述からのプログラム合成の研究をしています．

    もっと噛み砕くと，プログラムの正しさをどのように定式化し，どのような枠組みで，どのように変換を進めていけば，正しさを保証したまま，効率的なプログラムを手に入れることができるのか，ということについて研究しています．

    キーワード : equivalent transformation, computation model, programming paradigm, formal specification, program synthesis













    あわせて読みたい


    この日記のはてなブックマーク数

    スカウター : ホワット・ア・ワンダフル・ワールド


    Map









    FC2 BLOG RANKING

FC2カウンター


無料カウンター

ブロとも申請フォーム

この人とブロともになる

なつたん Verilog

2007/10/19(金) 18:38:52

偶然気が付きました．カコイイ ！

googlenatsutan20071019


僕もいつか「あろは gcc」と出る日がくるまでがんばります ！

googlealoha.png

小ネタ｜TB：1｜CM：0｜ このエントリーを含むはてなブックマーク | livedoorクリップ livedoorクリップ BuzzurlにブックマークBuzzurlにブックマーク newsing it! ▲
コメント
コメントの投稿

管理者にだけ表示を許可する

トラックバック
『ぼくもがんばります(> <)』
僕もいつか「あろは gcc」と出る日がくるまでがんばります ！ ホワット・ア・ワンダフル・ワールド なつたん Verilog 僕もいつか「はやみず λかわいいよλ」と出る日がくるまでがんばります！
日記を書く[・ _ゝ・]はやみずさん｜2007/10/19(金) 21:50

トラックバックURLはこちら
http://alohakun.blog7.fc2.com/tb.php/863-93da009b

最近のコメント

リンク

このブログをリンクに追加する

最近のトラックバック

人生の残り日数

日本人男性の平均寿命は 28700日．

RSSフィード

カテゴリー
Copyright(C) 2006 ホワット・ア・ワンダフル・ワールド All Rights Reserved.
Powered by FC2ブログ. 無料ホームページ アフィリエイト レンタルサーバー FC2ブログ 一戸建て template designed by 遥かなるわらしべ長者への挑戦.