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

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

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

全記事一覧 << 2008/05 123456789101112131415161718192021222324252627282930 2008/07 >>

プロフィール

あろは (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カウンター

ブロとも申請フォーム

この人とブロともになる

ホーム

GCC Hacks セミナー資料

2008/06/30(月) 07:59:55

ようやく slideshare にアップロードできました.やっぱり,昨日何回やっても失敗したのは,単にサーバが不調だっただけみたいですね…







ちなみに,当日の ustream 配信が,ここで見られるそうです.

Webcast by Ustream.TV

@noplans さんに教えていただきました.Ruby 札幌 KaigiFreaks 様に感謝です.







ニコニコデビューしました!


GCCTB:0CM:0 このエントリーを含むはてなブックマーク | livedoorクリップ livedoorクリップ BuzzurlにブックマークBuzzurlにブックマーク newsing it!

OSC 2008 do 終了

2008/06/30(月) 01:56:12

今年は,運営の方から微妙に関わらせていただき (ほんとに何も協力できませんでしたが…),スタッフも微妙にやったりやらなかったりしました.あと,セミナー発表の機会もいただきました.
いろいろあったけど,終わってしまったら一瞬だったなぁ,ってのが素直な感想です.
大変良い思い出になりました.みなさまお疲れ様でした!

セミナー資料は,OSC 事務局に PDF 形式で送れば公開してくれるらしいのですが,OSC 事務局のメールアドレスがよくわからないという…

しかも,slideshare に,何回投稿しても失敗してしまいます…

Sorry, your file failed to convert. Here's how to solve this:

- There's a big chance this is just a temporary/random glitch with our servers; just retry after 5 minutes and see if works.
- If your file is password protected, encrypted or contains macros, you might get an OOPs; remove the blocker and try again
- Sometimes uploading the PDF instead of the original ppt/odp file (or vice-versa) helps to overcome the OOPs

Read our FAQ to know more details about conversion failures and how to avoid them.

しかたが無いので,とりあえずテキトーに odp から ppt に変換して Google Docs の方に上げておきました (odp には未対応らしい…).かなり崩れてしまってます… いろいろ切れてるし,インデントとかがグチャグチャ (OSC 側での PDF 公開を前提に,PDF に最適化して作って,Acrobat reader で発表した)



今回,やっと念願の OSASK 川合さんのサインを 30 日 OS 本にもらうことができました (笑)

kawaisign.jpg


例年,午前中のセッションは動員数が少ないので,起爆剤として川合さんの OSASK を一発目の頭に持ってきたわけですが… やっぱり,午前1は客数が伸びずに,せっかく自費で来ていただいたのになぁともうしわけない気分になったりもしました.何よりも非常に面白いセッションだったのに,ustream 中継の準備も,協力も得られず,もったいなかったなぁと.

内容的には,第二世代 OSASK の変態的 4 ビットを基本にした画期的な実行ファイルフォーマットにより,hello, world が 27 バイトで書けるようになった!とか,コードゴルファー垂涎のネタが多数 (笑) ustream してたら,絶対 shinh さんとかすごい喜んだろうになぁ… と歯がゆい気持ちながら,楽しませていただきました.

次は,タイムキーパーとして,NTT データさんの hinemos のセクションを.当初は,hinemos のことは全然知らなかったので,特に興味も無く,単なるスタッフの仕事として聞き始めたわけですが.運用管理の OSS ってほとんど聞きませんし,かなり便利そうだったので大変興味深く聞くことができて,掘り出し物的なセッションでした (失礼)

あと,日本 Ruby の会の高橋会長にも,ようやく名刺をいただきました (2 年越しぐらいの念願叶い.毎回切らされていた感じだったので w)
雑談TB:0CM:0 このエントリーを含むはてなブックマーク | livedoorクリップ livedoorクリップ BuzzurlにブックマークBuzzurlにブックマーク newsing it!

いよいよ OSC 本番

2008/06/28(土) 02:16:04

会場設営の後,さっきまで前夜祭やってました.みんな前日なのに飛ばしすぎでうけました.確かに,準備終わっただけでも満足してしまう気持ちもわかりますが,本番は明日ですからね (笑)

当日のタイムテーブル

自分が発表する GCC Hacks が, 6/28 16:00-16:45 に,RubyKaigi でも大活躍だった Ruby Sapporo 様により配信予定です.

http://ruby-sapporo.org/live

自分のテーブルの人たちがみんな酔っ払いまくりだったので,僕も油断してご機嫌になってたんですが,実は明日発表あるスタッフが,僕以外に誰もいないテーブルだったという TRAP of 孔明にも負けずにがんばってきます (笑) ウコンの力 3 袋飲んだし,大丈夫だろう.風邪と頭痛対策に葛根湯も.ビタミン B 群をビール酵母で摂取.ジャック・ハンマーばりのドーピングでがんばります.「今日発表が上手くいくならば,明日はいらない」という覚悟で.筋肉痛が怖い.プロテインほしー

明日は朝 8:45 からずっと OSASK と自分のセミナー発表の時以外は,スタッフとしてバタバタしているはずです.人手が足りなかったため,うちの彼女も昼過ぎごろからスタッフとして応援にかけつけてくれる予定になってます.

(2:16)
雑談TB:0CM:0 このエントリーを含むはてなブックマーク | livedoorクリップ livedoorクリップ BuzzurlにブックマークBuzzurlにブックマーク newsing it!

Write GCC in C++

2008/06/20(金) 13:09:39

Write gcc in C++ (GCC Summit 2008 in otawa) PDF
# GCC Summit に行ってきて興奮冷めやらぬ QLeap さんに twitter でこの PDF を教えてもらったのが,そもそもの関心を持ったきっかけ.

あとの流れは,
Converting GCC to C++
tabesugi.net 2008年 6月 (2)。Jun 19 [Thu] (20:38)
>>はじめてのにき (2008-06-20)
みたいな感じ.

Lisp ってのがあいまいですけど,通常単に Lisp と言ったら,Common Lisp のはず.そして Common Lisp はネイティブコンパイラの方が普通だと思います.

ブートストラップを達成云々は CLISP (バイトコードコンパイラ) じゃなくて,SBCL (CMUCL) のことですかね.SBCL (CMUCL) をビルドするのに SBCL (か CMUCL) が必要です.

# ちなみに CMU はカーネギーメロン大学で,SB は鉄鋼銀行 (カーネギーは鉄鋼王だから ?) らしいです.CMUCL のブランチが SBCL.CMUCL よりも豊富なプラットフォーム,ネイティブスレッド,国際化などの特徴があるそうです.

C++ で GCC を書き直せば,今の C で無理やり OOP や template 相当の処理をしているようなところが全部標準 C++ 化できますし,GGC の黒魔術も smart pointer で不要になることなどが期待できます.

まぁ,個人的には,面白いとは思いますけど,労多くして実利が少ないプロジェクトだろうな,という気がします.あと,GCC の内部がわかりやすくなってしまうと,ちょっと寂しいかなという気も w あの,全体的に無理やり C で Lisp プログラミングやってるような感じが,マニアにはたまらないのです ww

なによりも,せっかく MIT AI ラボで夢破れた筋金入りの Lisper RMS が,あえて C を使って, 20 年もかけて怨念のように進めてきた苦労を全否定するのか!という(笑)

そもそも C++ コンパイラと,LISP コンパイラのどっちが多くの環境で実行可能で,よりポピュラーかと言えば,それは火を見るよりも明らかですしねぇ (仮にもし GCC の記述言語に LISP が採用されたならば,ポピュラリティが逆転し,もしかしたら RMS の積年の夢が叶うのかもしれませんが w). GCC のフロントエンドがサポートする言語に,LISP はありませんしね (GCC の構造的に,たぶん LISP のような言語の最適化にはあんまり向かない気がします.GCC で,比較的低水準な命令型言語以外のフロントエンドを作ろうとすると,仮にできたとしても,gcj みたいに,巨大なフロントエンドとランタイムが後からくっつく,不恰好でバランスが悪いものになると思います)

ちなみに、gcc は Cコンパイラの実装としてもかなり「終わって」いる。これはもとから内部の各モジュールが分離できないように わざとからみあって設計されている。つまり GPL な部分を分離して商用コードをくっつけられないようにしてあるらしい。だから構文解析や中間コード生成にフックを入れるのはものすごく大変だ。たしか RMS 自身がそのことをどっかで説明してたんだけど見つからない。

フックを入れること自体はそんなに難しくないですし,むしろ 4.x からはフロント-ミドル-バックエンドの分離が進んで簡単になってきてますけど,中間表現の完全な dump と read が不可能な構造になってるということを言いたいのでしょうね.

RMS が,バックエンドのフリーライドを防ぐため,あえてソースの直接改造が必要不可欠な構造にしてあるようです (GCC と独立して,中間表現のダンプと読み込みが可能になってしまうと,フロントエンド〜ミドルエンド部分だけを GPL フリーに作ってつなげることが可能になってしまう)

マイコミジャーナル 【レポート】 gcc 4.0来春登場 - 互換性・速度に課題も
4 gccのあの問題点は解決可能なのか?


また「完全な内部形式のTree Dumpを取りたい」という意見については、小島氏は「実はこれはRMSの方針で「完全なダンプは出さないようにすること」ということになっている」との事実を明らかにした。これは「完全なダンプを出力可能にすると、ProprietaryなBackend Pathを作られてしまう可能性がある」という理由からだと言うのだが、一方で開発者にとって完全なダンプが取れることが非常に魅力的であるという事情もあることから、事前に何らかの文書等を交わしたユーザに限り完全なダンプの出力機能を利用可能にするといったことができないか現在検討が行われている、と同氏は語った。

個人的には,誰が作ってようが,ライセンスが GPL でちゃんと全てソースが公開されてれば自由なソフトウェアだと思います.

現在 gcc を開発しているのはもはやボランティアグループなどではない。かれらは RedHat や Apple だ。こういう企業の仕事を「フリー (自由な)」ソフトウェアと呼ぶにはもう無理があるよ。

PCC (Portable C Compiler) に LLVM (Low Level Virtual Machine) に,修正 BSD ライセンスの C/C++ コンパイラが求められている背景があって,貴重なマンパワーが分散してしまってもったいない気もしますが.まぁ,これもまた FOSS って感じで良いんじゃないですかね.
マイコミジャーナル 【レポート】 GCCに匹敵するコンパイラ?! LLVM - BSDCan2008
# LLVM は,言わばコード生成と実行全体のフレームワークなので,コンパイラフレームワークの GCC と単純に比較できるようなものではないと思うので,この記事のタイトルは語弊があるなぁと思うわけですが… まぁ,それはまた別のお話.
GCCTB:0CM:2 このエントリーを含むはてなブックマーク | livedoorクリップ livedoorクリップ BuzzurlにブックマークBuzzurlにブックマーク newsing it!

コメント欄を承認制にしました

2008/06/11(水) 12:06:30

ちょっとスパムが酷すぎるので,コメント欄を凍結しようと思ったのですが,なんかよく設定がわからなかったので,とりあえず画像認証 + 承認制にしておきました.

そんなこんなで,コメントしても,承認されるまで何も表示されなくなってます (大量のスパムコメントが,アンテナや RSS を壊さないように)

しかし,なんでこんな急に… いまさらスパムコメントが急増しているとも考えにくいですし. 「すべて英数字のコメントは不許可」 設定にしてるはずなのに,バイアグラの宣伝が来まくるし.a href とか,禁止ワードが入っていても,バシバシ反映されてしまってる.FC2 のバグなんですかねぇ.
このブログについてTB:0CM:6 このエントリーを含むはてなブックマーク | livedoorクリップ livedoorクリップ BuzzurlにブックマークBuzzurlにブックマーク newsing it!

最近のコメント

リンク

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

最近のトラックバック

人生の残り日数

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

RSSフィード

カテゴリー