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カウンター

ブロとも申請フォーム

この人とブロともになる

いろいろなところで院試終了

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:0CM:2 このエントリーを含むはてなブックマーク | livedoorクリップ livedoorクリップ BuzzurlにブックマークBuzzurlにブックマーク newsing it!
コメント

UFOの目撃談の絵はみんな同じ作風に見えます。
oskimura #-|2007/08/23(木) 12:32 [ 編集 ]
> oskimura さん
幼稚園児の絵とかもそうなので,単に下手 (まだ自分の作風が確立できていない) だけかと.
あろは #wNX6xxGw|2007/08/23(木) 17:13 [ 編集 ]
コメントの投稿

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

トラックバック

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

最近のコメント

リンク

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

最近のトラックバック

人生の残り日数

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

RSSフィード

カテゴリー