programming)の実用化,ということを語る時に避けて通れないのは,これがクヌースの文芸的論組をいかに更新しうるか,ということだ。希哲社の意味付け論組(セマンティック・プログラミング)の方が技術的な革新性はあるというのがちょっと面白い。programming)ハローワールド。おける意味付け論組.png}{希哲13年3月19日}{実証実験}{希哲13年3月19日のツイスト}{ツイスト}{Cμ}{*}大事なお知らせ。今日から世界に先駆けた「意味付け論組」(セマンティック・プログラミング)の実証実験を始めることになった。利用した技術の一環,ほんのはじまりに過ぎない。我々人類は,これから知機(knower)によって「意味符号化」という究極の技術を手にするのだ。{希哲13年3月19日}{知番付け識別子}{希哲13年3月19日のツイスト}{ツイスト}{リファクタリング}{文書化}{*}この技術は,世界初の実用的な「意味付け論組」(セマンティック・プログラミング)の嚆矢となるだろう。文書化とリファクタリングにおいては飛躍的な進歩を遂げたと言える。{希哲13年3月18日の開発}{希哲13年3月19日の開発}{希哲13年3月17日の開発}{Emacs/}{knu-kno.el}{knu-knest-cch}{knu-knm-at()}{knu-kno-at()}{knu-kno-fmt()}{outline-mode}{kno-mode}{希哲13年3月17日}{セマンティック・プログラミング}{希哲13年3月17日のツイスト}{ツイスト}{情報工学}{*}端的に言って,いまここで起きていることは「意味付け論組」(セマンティック・プログラミング)の確立という,情報工学史上有数の大革命である。