仕事2016-05-12転職しました仕事https://blog.ycombinator.com/harc諸般の事情により所属先が変わりました。いっても過去にあった所属先変更と同様に、同じグループで、同様のビジョンに基づいた研究・開発をしています。Tufteは、1日セミナーを全国で開催しているのですが、今回は近場で開かれるということで参加してきました。立派なホテルのホールに200人くらい受講者が来ているのでなかなかのものです。10年ぶりに参加してきました。フレンドリーで、かつ激しい議論を戦わせるだけでの共通認識があるので、楽しい会議である事には違いないです。Programming"とかに関す...最近読んだもの2014-08-08Scratch@MIT仕事4年ぶりにScratch@MITに参加しています。以前ののんびりした感じよりも、大人がまじめな事をしている集まりの用でもありますが、それぞれの人は本当に元気で面白い事を考えているので、素晴らしいです。仕事2週間にわたってドイツとイギリスに出張してきました。ドイツはStuttgartとTübingenに近いGäufeldenという街というか村で、共同開発者とハイキングをしながら設計会議をみっちりと。最近はときどきいろいろなプログラム委員になっている気がしますが、これは結構楽しみです。仕事Eminaさんは、KodkodというSATソルバーを作ったり、ソルバーを使ったDSLを作るためのフレームワークRosetteというものを作ったりししている研究者の人です。先週は1週間まるまるAustinにあるCycorpに缶詰になり、みっちりとCycについて勉強していました。Cycというのは大きな知識ベースとその推論システムの名前です。HellersteinがUCLAに来て講演していました。Hellersteinの講演2013-11-08新言語GPにapplyを実装。Pigとも呼ばれている)にapplyを実装するだけの簡単なお仕事でした。PattersonがUCLAで講演するというので遠路はるばる運転して拝聴。Engineeringをどう教えるか、そしてMOOCがどう絡むか、という話でした。新し...新言語GPにapplyを実装。言及した発表ですが、なんとか静止画をたくさん作ってPDFにまとめてみました。興味のある方はご笑覧ください。modeを拡張してlldbも使えるようにするというのが自然なわけだし、昔はlldbのtrunkにもあったはずなのに今はなくなっている。今年はなぜか2件、しかも一つは招待講演(Workshopだけど)ということで、なんだか大変でした。一応何週間もかけて準備したので何とかなったのですが、疲れました。Framework"仕事ウェブにあげてあります。10年くらい前に数週間「インターン」をした松澤君が訪問してくれました。岡ちゃんのうわさ話や、最近の仕事など。彼(ら)のシステムはちゃんと動いて学生が使えるところまで行っているのが偉いところです。松澤君来訪2013-07-16OMeta-JS仕事しばらく仕事に関係ないことばかりかいていましたが、仕事(笑)はしています。Kernel上で例題もいくつか動いています。仕事8000語程度の原文が日本語に訳されたものを手直し。1から自分でやったらその倍くらいの時間だな、たぶん。Altoのオフィス訪問。Altoに行くのはHPに行っていた2005年かそこら以来だろうか。当時はチップを含めて45-50ドルくらいで行けていたと思うのだが、今は75-80ドル。仕事Scratchはついにベータから正式リリースに移行するわけですが、隙を見て(?)JohnがLAに来ていました。いちおう動くのですが、なぜかとても遅いです、今のところ。先日の記事に書き忘れましたが、この実装の目標の一つとしてはアクティブエッセイのねたにするというものもあります。Carlo法によるコンピュータ囲碁プレイヤーをSqueakからJavaScriptに移植中。Workersで遊んでいます。Kernel仕事なぜかコミッターになりました。某カンファレンスに出す論文を書いています。good"と返事をされたときに、本当のところそれがどのくらい良いと思っていっているのかはいまだに良くわかりません。Conwayによるペア発表。BOOMとBloomの説明だったが、とてもよくまとまっていてわかりやすかった。Alanがぜひともスライドにコメントをつけて公開すべきであると言っていったので、期待である。CondieによるDatalogベースのプログラム解析技術や、ネットワーク仕様記述などの話であった。