無意味なフラグ・シーンの検出は、モデルの形式的検査技法になるようだ。 未踏で既出なので、作成可能なことは分かったが、私にはかなり難しそう。 前回文字列を持ち出したとき薄々予感していたが有限状態機械の状態遷移 という面倒くさそうな話になってくる…

法律とXML ハイパーテキスト版 論理哲学論考 萌え作品をXML化する、というのは半分冗談だが、 他の分野ではマジでXML化しちゃいそうな勢いだ。

文章論から改行論へ ブログ文章術 あの素晴らしいぷよぷよ米光がブログ文章術の最初のテーマを改行にした のだから、「そんなの侍魂の頃から知ってる」という指摘は無意味である。 しかも文章のスタイル自身に凝ってみせるのはブログだけの話ではなくて、 あ…

赤い色が何故「赤く」見えるのか教えてください。 "質問 赤い色が何故「赤く」見えるのか教えてください。" 「赤」はなぜ「赤い」？ 関数化と隠蔽化 はてなの質問者が知りたいのは、物理的な環境と身体の特定の対応が、 特定の知覚意識に対応しているのはな…