論文2本同時執筆 - sumiiのブログ
IPSJ-PRO以来＆今回は英文。年末年始のダンピング労働の結果です。さすがに疲れたので今日は休暇をいただいて、子供二人＆家内と三井アウトレットパーク仙台港でショッピングでした。 内容は例によって「理論的」（基礎的）ですが、従来は極めて取り扱いの難しかった問題２つを簡単に扱うことができたと考えています。 A Complete Characterization of Observational Equivalence in Polymorphic lambda-Calculus with General References. Eijiro Sumii. http://www.kb.ecei.tohoku.ac.jp/~sumii/pub/poly-ref.pdf Abstract: We give a (sound and complete) characterization of obs
任天堂失敗列伝〜第一回〜「64DD版MOTHER3の巻」 - 色々水平思考
あらかじめ断っておくが、この企画は、 任天堂の過去の無様な歴史を暴いてやんよ という目的で書かれているわけではない。むしろ逆だ。 任天堂の失敗って面白くてためになるんだよ ってことを、世界中へ向けて発信するために考案された企画である。 任天堂の強みは何回でもコンティニュー出来るってこと - 枯れた知識の水平思考 ↑このエントリでも言及したことだけど、任天堂ってのは、かなり失敗を沢山している企業だ。その失敗の一つ一つを、自分なりに振り返り、分析し、現在に与えた影響を検討することで、なぜ、今、任天堂という企業が、未曾有の大成長を遂げているのかがわかるのではないだろうかと思うのである。 三十歳から四十五歳を無自覚に過ごすな 〜任天堂社長 岩田聡氏〜 - 中小企業診断士 和田伸午のおもしろビジネス放談 ↑この辺のエントリ読んで、任天堂とか岩田社長に興味をもった人にもお薦めですよ。 とかなんとか偉そ
SmalltalkでGOTO - 駄文生産所
先日、PHP5.3にGOTOが導入されるというニュースが流れ、、、 「ハッ、羨ましくなどないネ!!」、「もう例外機構あるじゃん」、「4.xの頃は例外もGOTOもなくて、んな大域脱出もロクにできないモノを喜こ(検閲）」、「しかし、我々の陣営が遅れをとるわけにはいくまい」、「ぢゃ次の勉強会のネタはそ(ry」 なんてことがあったかどうかは知らないが、VisualWorks Smalltalk上にもGOTOが実装されたのである。力業だけど。 機能はPHPのものと大体同じ。 同一メソッド内、もしくは同一ブロック内でのジャンプ ブロック外へのジャンプ ブロック内へのジャンプはNG これで華麗な大域脱出から複雑怪奇なスパゲッティまで思いのままなのだ。 サンプルコード1: 足しあわせ | count sum | count := 0. sum := 0. self LABEL: #LoopHead. co
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
The LEGO Turing machine