Hello, world! ふたたび - Life Goes OnR 教授による S 大学での講義録。 はじめに えー、前回の講義からだいぶ間が空いてしまったが、講義を始めたい。 今回はクワインについて話す予定であったが、その前にもう一度だけ Hello, world! について話をさせてほしい。 前回の講義の直後、irori 氏によって、399bytes の Hello, world! の存在が証明された。 その詳細について氏は何も語らなかったが、今年の 7 月になってソースコードが公開された。 それを解読した結果、および解読の過程で新たに得られた知見について、今回の講義では話をしたいと思う。 ロジックの見直し（451） 前回の講義で "Hello, world!" という文字列に対応するチャーチ数を得るため、 <27> + f <73> <81>という式を提示した。だが、どうやらこれは少々複雑に過ぎるようである。 <28> + f <80>という式の
