プロフィール
| |
- 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





|
FC2カウンター
| |
|
ブロとも申請フォーム
| |
この人とブロともになる
|
|
いろいろなところで院試終了
| 2007/08/22(水) 22:23:00
|
ようやくドクタの院試が終わりました.ついこの間マスタに進学して北海道に来たと思ったら,もうそんな時期です.月日が経つのは本当に早い.
というわけで,修士/博士を受験したみなさん,お疲れ様でした.
今年は,僕の出身大学の研究室の後輩がうちの院を受験したので,昨日は一緒にスープカレーを食べてきました.彼は非常に優秀な感じなのでいろいろ将来が楽しみです.ぜひ受かって欲しい!
ドクタはまぁ… 受かっても落ちても,どっちにしろその後の人生は茨の道なので (苦笑) ある意味そんなに変わらないという.筆記試験も面接も特に問題は無かったので,受かったとは思いますが.もし落ちてたら,この時期から就職活動という.
僕のところは,内部進学でも,修士と同様に(僕の時は3日間もあってしんどかったのに,今は2日間に短縮されたらしい.なんというゆとり時代)筆記1日,口頭試問 (プレゼン) 1日をちゃんと分けてやるので,かなりしんどかったです.
yanbe さんのところは,もうとっくに終わって合否まで出ているらしいし,みずしまさんのところは今日1日で終わったらしい.裏山鹿
なつたん: 女の子で識別した みんな仲良しのつもりさんが、ときどきFPGAネタがあってヲチしていたのですが、更新が止まって残念。とおもったら同じ女の子が!これで、全然別人って事はないよね。 合格おめでとうございます。 USB Snoopyってあるのか。!そろそろUSBでも始めようかなぁ。 院試面白そう。
う〜ん,そのサイトの中の人は,みんな仲良しの中の人 (mjt さん) だけじゃない teijin のような気が.何がどうなっているのかよくわからんのですが「フルスクラッチによるグラフィックスプログラミング入門」の中の人風味の絵も至るところに.
mjt さんとこは,たぶん僕よりもさらに 2 つぐらい若いような感じ (単純に学年から逆算) にもかかわらず,いろいろ思想的にも技術的にも素晴らしい感じなので,僕も愛読していました.
# さまざまな事情により,研究室などでは開き辛いサイトなんですが.主にロリ的な意味で.
しっかし,このサイトを眺めていると,いろんな人が書いてるためか,言及が支離滅裂なような.mjt さん = okuoku さんという認識だったんだけど,okuoku さんの中の人は 47 歳という設定らしい.なんという逆バーチャルネットアイドルっぷり (よく意味わからないでテキトー発言)
実は osdev-j の中の人は,全て同一人物内の仮想人格でした ! という衝撃的なオチという可能性はどうか ? さすが仮想化 3.0 時代.
CPU のクロックが十分に速ければ,同時に複数の人格を切り替えつつ,十分な速度でエミュレーションを達成することが可能らしいですよ (真賀田博士)
年下をエミュレートするのは簡単そう (バーチャルネットアイドルほげほげ 1X 歳) だけど,年上に成りすますのは大変そうだ.まず,昔話ができないといけない時点で相当敷居が高い.いや,どっちも大変だろうけど.
話を元に戻すと,ネット上で,文章等を成りすますのは比較的できそうだけど,画風を真似するのはかなり大変だと思う.なので,同一性を判定するのに利用できるという話だった (ホントか ?)
というわけで,サインや指紋認証の変わりに,お絵かき認証というのはどうか ? ログイン時に,毎回萌え絵を書いて本人確認をすることにより,究極のセキュリティを実現 ! 面倒なパスワードを何度も覚えたり,定期的に変える必要も無いし,殺害されて指や目玉だけ切り取られてガードを突破される恐れも無し !!
(いや,面倒すぎるだろ)
そもそも,作風を画像認識するってのはかなり高度な技術が必要そうだし,使える人が限定されすぎるような.
|
雑談|TB:0|CM:2|
|

▲
| |
|
コメント
|
UFOの目撃談の絵はみんな同じ作風に見えます。 |
|
oskimura #-|2007/08/23(木) 12:32 [ 編集 ]
|
幼稚園児の絵とかもそうなので,単に下手 (まだ自分の作風が確立できていない) だけかと. |
|
あろは #wNX6xxGw|2007/08/23(木) 17:13 [ 編集 ]
| |
|
コメントの投稿
|
|
|
トラックバック
|
トラックバックURLはこちら
http://alohakun.blog7.fc2.com/tb.php/827-e39bf991
| |
|
|
最近のコメント
| |
| リンク
| |
このブログをリンクに追加する
| 最近のトラックバック
| |
| 人生の残り日数
| |
日本人男性の平均寿命は 28700日.
| RSSフィード
| |
| カテゴリー
| |
|
|