λx. x K S K ＠はてな

このブログ内に記載された文章およびコードの著作権は，すべて Keisuke Nakano に帰属します．

あけましておめでとうございます

雑記 アンビグラム
って，もうすぐ3月ですが…． 左のは昨年末に作成したアンビグラムで今年の年賀状に使用したものです．*1
いろいろ立て込んでいたので更新していませんでしたが，今年のこれまでのまとめは以下の通り：
桑港に出向いてPLAN-Xで発表，PEPM, Coq Tutorial, POPLに参加．
個人的にはCoq Tutorialが面白かった．最初の方は退屈だったが，後半はいろいろ勉強になった．
POPLの「各発表20分，各セッション3発表」は非常に聴きやすかった．
他の会議でも採用してもよいかも（但し，発表者が周到な準備をしている場合に限る）．
会議やらワークショップやら雑誌やらの査読がいろいろ．
日程がかぶりまくる上にやたら多い．
//golf.shinh.org/p.rb?Palindromic+Quine#OCaml">Palindromic Quineに挑戦．:行コメントのないOCamlでは非常に面倒．
最初は無理な気がしたためkinaba氏に振ってみたら，あっさりできたみたいだったのでチャレンジ．
ついでにcaml-listでも宣伝．最終的に以下のコードで最短（199B）をゲット．
"k\"",let rec(!)n?(q=String.make 1(Char.chr 34))s
k=print_char(q^s^q^q^k^q).[abs n];!(n-1)s k
in!99"99!ni
k s)1-n(!;]n sba[.)q^k^q^q^s^q(rahc_tnirp=k
s))43 rhc.rahC(1 ekam.gnirtS=q(?n)!(cer tel,""\k"
今年度でプロジェクトが終了するので総仕上げをいろいろ．
まだまだ仕事が残っています．
前項と関連して，次期ポスト探しの就職活動．
なんとか決まりました．急ですが3月から所属が変わります．

*1:アンビグラムは，主にigatoxinさんの影響です．