Seven Trees：解答のトラックバック受け付け所 - 檜山正幸のキマイラ飼育記 (はてなBlog)
もういいんじゃないでしょうかね。 Seven Treesパズルを解いたり、解を確認された方々、このエントリー（URL: http://d.hatena.ne.jp/m-hiyama/20081031）にトラックバックしてくださると、リンクが集約されて便利かと思います。 基本路線は、「T = 1 + T2 を元にして等式の変形を追いかける」ですが、それぞれの工夫もありますでしょうし、プログラミングとしては、もっと短くとか、いやもっと長くとか、もっとわかりやすくだの、この言語で、あの言語でと、いろいろなバリエーションがあると思います。 典型的な解法が公表されれば、グラフィカルに表示されたSeven TreesがアニメーションでOne Treeに変形していく、なんてのをどなたか作ってくれるかもしれませんよ。 Seven Trees, 最初のエントリー 問題を詳しく解説 変なヒント まともなヒント
Seven trees - λx. x K S K ＠はてな
NICTA に来てから tree transducer 漬けの毎日． こちらに来るまで，Macro tree transducer (MTT) とか Attributed tree transducer (ATT) とかそれより上のクラスばっかり相手にしていて， Top-down tree transducer (TDTT) は自明な世界だと思ってましたが， Partial や Nondeterministic を許すとなかなか奥が深いです． と，余談はさておき，表題の件です． 元ネタを知っていたので狡いですが， ヒントは，二分木 (Tree) が の不動点で表現できることと， の複素数解 が を満たすということですね． あまり，ヒントになってないか…． OCaml で実装してみましたが，双方向とも 5 種類のパターンによる分岐で定義できます．
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
