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

ブロとも申請フォーム

この人とブロともになる

電子データ提出完了

2006/02/20(月) 16:07:41

2 枚の CD-ROM に,指定されたファイル (thesis.pdf, abstract.pdf, happyou.ppt) と,配布された index.html のサンプルを修正したものを焼いて,学部事務室に提出してきました.

せっかく作ったので,ここにそのままアップしておきます

# geocities の内部からのアクセスならば,pdf ファイルなども正常に表示されるようです.どうやらあれは,ファイル置場にされないための処置だったようですね.外部からのバイナリファイルへのアクセスは,サーバの設定で弾いているのでしょう,きっと.

これで,やっと全て終了です.

/* ------------------- 後日談 -------------------------

我ながら無責任ですが,私は,どんなに熱中していたことでも,終わってしまうと全く興味がなくなってしまう人なのです.

もう私の中で卒論は一区切りついてしまっていて,何の執着もありません.というわけで,興味のある人は自由に使ってくださいと,全てのファイルをアップしました.

# もともと,外部への公開を前堤としている (index.html をフォルダ内に作らせるぐらいですから) のだから,特に問題はないでしょう.

しかし,正直なところ,こんなものをアップするのは恥ずかしく,もはや黒歴史に近い,忘れたい過去になりつつあります.調査も,推敲も校正も,何もかもほんとうに不十分で…

一番重要な,紙ベースでの校正をする暇がなかったのが致命的.

結城浩さんの言葉が,耳に痛いです… (校正についての長男との会話 より,引用させていただきました)


私「ほら、こんな風に朱を入れて校正するんだよ」

長男「こんなにたくさん書き直すの?」

私「そう。プリントアウトして読み返し、朱を入れて、それをまたタイプする。それを繰り返すと品質が上がる」

長男「それを何回繰り返すの?」

私「それはよい質問。場合によるけれど、本の場合には数え切れないくらい」

長男「ふうん」

私「たとえば3600部、本が売れたとしよう。私の文章の書き方がまずくて、理解するのに1人1秒余計に時間がかかるとしよう。そうすると、3600倍して、全体では1時間の社会的ロスになる。1冊1分なら60時間のロス、1冊1時間なら3600時間、つまり150日のロスだ。そうならないように、できるだけ書き手の側で時間を使い、読み手の時間を奪わないようにしなくてはならない」



-------------------- ここまで ------------------------- */


本当に,振り返ってみると,4 年間あっという間でした.

今年で,私は 23 歳になるんですよね… 実感があまり涌きません.

高校生の頃は,22 歳なんて,うんと先の話で,とても大人に感じられたものですが… なってみると,あっけないものです.

打ち上げのとき,1 年生が来ていたのですが,ちょっと話をしていたら愕然としました.まだ 19 歳とか何ですよね (笑)

極めてあたりまえのことですが,4 歳も違うのか… 私も歳を取ったものです.

とても素直で,気持ちの良い若者たちでした.しかも,教員いわく,なかなか優秀らしい.将来が楽しみですね.

# 何かねー,おばちゃんとかが年下の男の子を可愛いという気持ちがちょっとわかりましたよ (笑) ある程度年齢差がつくと,こう感じるんですね.ただし,もちろん,変な意味ではありませんよ.

2 年生は 2 年生で,もう卒論のテーマについて心配してた子がいたりと,頼もしいですな.

/* ------------ でも,一応,先輩としての忠告.絶対ここを見てないだろうけど (笑)

感性情報学系の研究は,ぶっちゃけ,止めた方が良い.

# みんな,自動作曲とかに夢を見すぎ (笑) 音楽理論って… 理論と冠されてはいるけど… あってないようなものだし.かといって理論を使わなければ,探索空間が爆発するし,理論通りだとつまらない曲しかできないことが多い.

# あと,自動 Web 頁生成とか… 「見やすい」 とか,「使いやすい」 のような印象評価は,極めて曖昧模糊.少なくとも,まだ学生の卒論のテーマになるぐらい確立されたものではないと思います.

学生が,科学的・客観的と言えるほどの,アンケートや脳波などのデータを集めるのは,正直,根本的に無理がある.

やる気しだいでは,可能かもしれないけど…

# でも,だいたい,こういう人文系の研究テーマを選ぶような人って,プログラミングのスキルも,研究意欲も ? な人が多いんだよね.

私はこれまで,これ系の研究テーマで,説得力が出るところまでまとまったものを見たことがありません.大抵は,主観入りまくりで怪しげ,あるいは,調査や研究をやるまでもなく結果が予想できるような無難なものになってしまう.

かと言って,GA とか NN はもう,進化の袋小路に入ったようなテーマだしなぁ… (研究室を敵にまわすような問題発言 (笑)) いろいろなアプリケーションに応用するのは面白いと思うけどね.

というか,AI 全体がもはやそうかも.根本的な進化は止まり,繁るのは枝葉 (アプリケーションへの応用) ばかり.

ちなみに,こういう現状を何とか打開するための土台を作ろう,というのが私の研究の最大の動機.
*/

いいなあ,まだ 3 年間も大学生活があるんですよ.夢も希望もいっぱいだ.

さっき売店に行ったら,軽音の一年生たちにもあいました.
あと,B2 や misasagi たちにもあいました.

いやぁ,何かもう全てが名残惜しいですね.さらば岩手よ,って感じです.

岩手にいるのも,あと一週間ぐらいか… しんみり.

もう来週には北の大地で新生活が始まるわけですね… はてはてどうなることやら.
卒論関係TB:0CM:0 このエントリーを含むはてなブックマーク | livedoorクリップ livedoorクリップ BuzzurlにブックマークBuzzurlにブックマーク newsing it!

勝った ! 第三部完 !

2006/02/17(金) 18:47:03

無事に卒論発表会が終わりました.

もうひたすら早口で,アドリブで,時間内に詰め込めるだけ話しました.代ゼミの先生みたいだった,という,わけのわからない感想を先輩からいただきました (笑)

# 私は茶色のスーツしかもってないので… (^-^;) しかも,昔,太っていた頃に買ったものなので,ダブダブ.大学生らしいハツラツとした雰囲気がまるで感じられません.

それでも結局,具体性に乏しく,抽象的な話になってしまいましたが,何はともあれ,終わりは終わり.あとは野となれ山となれです.

これで,単位さえ足りていれば,卒業です.大卒の資格が手に入ります.4 年間,振り返ってみると,あっという間でした.

気分が良いので,私が 4 年間の成績を晒しておきます.

これに,ゼミと卒論製作 B の単位が加われば,ギリギリで足りるはず.

後は,CD-ROM にデータを焼いて提出したり, AO 入試合格者のアンケートに答えたりするだけですな.

というわけで,これから打ち上げです.みなさんお疲れさまでした !
卒論関係TB:0CM:1 このエントリーを含むはてなブックマーク | livedoorクリップ livedoorクリップ BuzzurlにブックマークBuzzurlにブックマーク newsing it!

卒論関係の全ファイルの公開

2006/02/16(木) 18:52:04

まいりました… 以前 PDF ファイルを公開していた場所をひさしぶりに見てみたら,全ファイルが消されていました… (^-^;

どうやら,PDF ファイルや zip ファイルは,許可されていないそうです.でも,卒論の PDF ファイルはかなり大きいので,置き場所を選ぶんですよね… (277 頁書きました).

というわけで,比較的軽い,ソースファイル群 (tex ファイルや画像ファイル) をまとめて,ここにおいて置きます.

卒論の全ファイル .ZIP

解凍して,thesis.tex というファイルを platex して下さい.ついでに,他にもいろいろ置いておきます.

卒論の全プログラム .ZIP

卒論アブスト .PDF

卒論の PDF ファイルは 1 M 以上あって,@Wiki にはそのままではアップロードできないため,チャプター 1 2 3 5 (主に文章) と,チャプター 4 (主にプログラムの解説) に分割して,いちおう置いておきます.

チャプター 1 2 3 5 .PDF

チャプター 4 .PDF

# 単に,thesis.tex 内の input 文をコメントアウトしただけなので,目次などが混乱しています.

どこかによいファイル置場があれば良いのですが…

明日卒論発表会で,今ちょっとバタバタしています.
そのうちなんとかします.とりあえず,暫定的な処置です.

発表会は,もうかなりやる気なしです.なんせ,280 ページ弱を 12 分で説明しなければならないのです.どうがんばったところで,中身のないプレゼンになってしまいます.10 時間ぐらい欲しいところ (笑)

みんなちゃんと原稿とかを用意して,ちゃんと棒読みするみたいですが,私はもういきあたりばったりアドリブでなんとかします.

# もう教員の方々も呆れ顏でした.

とりあえず,つつがなく終われば良いや.スライドを見ながら,その場で思い付いたことを喋ってきますよ.

それにしても眠い…
卒論関係TB:0CM:0 このエントリーを含むはてなブックマーク | livedoorクリップ livedoorクリップ BuzzurlにブックマークBuzzurlにブックマーク newsing it!

俺は卒論を出すぞ ! ジョジョーーッ!

2006/01/31(火) 15:04:41

無事に提出し終わりました.

juryo.jpg


軽く考えていたのですが,実は卒論の差し替えって凄く手続きが面倒らしいです.

というわけで,非常に残念なできのまま,私の卒論は終了してしまいました.

紙になると,間違いがボロボロと見つかります… 紙は偉大ですね.

今,研究室に収めるために,もう一部刷っています.

大量の間違いを含んでいるとわかっていながら,修正もできず,印刷するしかないというのは,つらいものです…

救いは,印刷室に,一括して穴を開ける機械があるとわかったことです.これで,280 枚に穴をちまちま開ける作業から解放されそうです.


文明の利器は素晴しい ! 一発で 300 枚を貫き通す機械の力強さにほれぼれ.

… と思ったのもつかのま.穴を開ける位置が,多少奧まっているらしく,昨日は上手く収まったファイルに,ひっかかってなかなか入りませんでした…

とりあえず,無理矢理詰め込んで,変形したファイルを研究室に収めました (笑)

後は,JABEE 用の事務手続き書類を書かないと.

今日は,いろいろな人に返すものを持ってきました.

>> 下向さん

クリムゾンキングのスコア

>> デル さん

食器類

>> 工藤 さん

エアロスミスのスコア

>> 金田一 さん

2 年前の誕生日プレゼントのお返し (笑)

# 引越しのため掃除をしていたら,ラッピングされたまま奧から出てきました w

>> take さん

レディオヘッド 「O.K. コンピュータ」 の CD

を,それぞれ軽音の部室前に置いておきました.返すのが遅れてしまい,もうしわけありませんでした m(_ _)m

あと,図書館に本も返した.

3 日に後輩に引き継ぎを行う予定になった.これが終わったら,プレゼン資料を作った後,アパートを引き払って実家に帰ります.

17 日の卒論発表会が終わって,CD-ROM を収めたら,即行北海道に行かないとならないみたい… 休む間も無く忙しくなりそうだ.

3/24 の卒業式… まじで面倒だ.北海道 ⇔ 岩手遠過ぎですよ.

当初私は出ないつもりだったのですが,担当教員に,「学部主席は絶対出ないとダメだ ! それに,もしかしたら総代かもしれんぞ !」 と言われてしまいました.そんな… 誰かに譲るよ… 少なくとも,総代は,看護学部とか,社会福祉学部とか,世の中の役に立つ立派な仕事につく人にやってもらいたい.

# 俺みたいな,十年後くらいには上野公園で暮らしてるかもしれない世捨人がやっちゃもうしわけない w

それにしても,単位足りてるか不安.単位数は十分でも,要件を満たしてないかも.何回も確認したけど.本当にギリギリしか取ってないから.

わざわざ一日のために,札幌から帰ってくるのか… 今から鬱だ.

今日は懐かしい人達に会いまくった.サントスなんて半年ぐらいぶりに見たよ.

最後に,misasagi と B2 の顔を見ておきたかったのだけど,PC のパーツを買いに行ったとかでいなかった.残念.

たぶん,ここに今いる人達とは,もう二度と会うことはないのだろうなぁと,ちょっとしんみりしてきました.みんな勤務地は東京とか仙台とかだろうし.

私は大の旅行 (移動) 嫌いなので,盆と正月ぐらいしか内地には帰らなそうだ.それすらも怪しいけど.お金も手間も体力使うし… 9/11 テロ以来,飛行機がいろいろ面倒になった気がします.

今まで 22 年間田舎暮らしだったので,始めての都会暮らしはけっこう楽しみです.

今住んでいるところは,スーパーに行くだけでちょっとした小旅行なので.

敷地が 4 km 四方あって,学食が 5 つとかあるらしい.

私の中では,動物のお医者さんのイメージが強いです.そして菱沼さん = オーバードクターというイヤな連想が (笑) それだけは避けないと…
卒論関係TB:0CM:6 このエントリーを含むはてなブックマーク | livedoorクリップ livedoorクリップ BuzzurlにブックマークBuzzurlにブックマーク newsing it!

卒論で作成した全てのプログラム

2006/01/31(火) 02:11:16

引き継ぎのために,卒論内のプログラムをまとめて,すぐに実行できる形にしました.

せっかく作ったので,アップしときます.なかなか大変でした.

卒論内の全てのプログラム

これを作っている最中,いくつか卒論中のプログラムの間違いを見つけてしまいました… 最初の方に書いたものと,最後の方に書いたものの仕様が微妙に異なっていたりとか.

本文もそうですが,一年ぐらいかけて書いたものなので,かなり内容にバラツキがあります.

# 今見ると,ちょっと恥ずかしいような稚拙なものも含まれていますが,これは成長の証と前向きに捉えよう… 最初の頃は,本当に右も左もわかってなかった… SICP や関数プログラミングに始めて触れたのが,去年の 4 月ぐらいだし.

引き継ぎとは言うものの,正直ちゃんと引き継いでくれそうな後輩はいないのですが (笑)

# 一人いるらしいけど,留年しかけているらしい (苦笑) 頼りないなぁ.

でもまぁ,資料を作っておくことは大事だと思います.

これで一応一区切りつきました.いやぁ,本当に大変な一年だった.

結局しり切れとんぼで終わってしまったけど…

まとまった量の文章を書くということが,どれだけ大変なことか,ということがわかっただけでも良かったです.

# と,前向きに考えないとやってられませんよ (笑) 見積もりが甘過ぎた… やはり,書いた時間と,同じくらい推敲や校正の時間を取らないと,まともな文章にはなりませんね.

ほんとうに疲れた… これで明日力尽きて,論文提出できず ! という暴虐苛酷なオチだけは避けたい.

もう目が霞んであんまり見えない.しょぼしょぼです.
卒論関係TB:0CM:0 このエントリーを含むはてなブックマーク | livedoorクリップ livedoorクリップ BuzzurlにブックマークBuzzurlにブックマーク newsing it!

最近のコメント

リンク

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

最近のトラックバック

人生の残り日数

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

RSSフィード

カテゴリー