5月病がこじれています.
スーツの理由を次のように説明している.
最後のを使おうかなあ,と思う最近.
X10 の勉強.
http://hagi.is.s.u-tokyo.ac.jp/pub/essay/hagiya/7bits/shoumei_kata
難しい....誰か解説して.
ゴーゴーカレーでキャベツ沢山くれ,と言ったら,山盛りにキャベツを盛ってくれた.
缶チューハイで酔っているので断定はできないのですが,curry-howard isomorphism(カリー=ハワード対応)の発展ではないでしょうか.後半はそこからの派生で.…しかし残念ですが人間の場合思考にcontextが挟むので知識にもそれが影響される事を懸念しなければいけない訳ですが. プログラムと論理の関係についてはhttp://www.pllab.riec.tohoku.ac.jp/~ohori/research/flops_ao_rev.ps ←昔のボスで恐縮ですがこんな論文もあるので.
気付いたら並列化してるじゃんかー,という言語が作りたい.
研究したいな.
http://d.hatena.ne.jp/ashel/20100505/1273073942
期待してます! という返事をしようと思ったんだけど,はてなユーザしかコメント出来なかった.
というか,そういうのをやろうと色々考えてはみたんだけど,require の意味を変えることになるかもしれなくて,その辺がうまくまとまらなくて実現出来なかったんだよな.この辺を,説得力をもってなんとかしてくれるのを期待したい.マジで欲しいよな.
postfix をアップデートしたら,relay_domains の設定がまずくて qwik.atdot.net へ届かないことがわかった.どうもご迷惑おかけしました.
今までは,atdot.net って設定するだけで,そのサブドメインも対象になっていたらしいんだが,そうじゃなくなったって話.
五月病の症状ですね