勉強中制御工学の試験問題にまつわるあれで、making the girl love meするシステムとか、the boyをかっこよくするシステムとかみなさん作っておはしますが、目標値と制御量が"量的"じゃないよなぁ、と思うけどいかがでしょうか。そして今気づいたけど俺らは…

$ fortress hello.fss Parsing hello.fss: 807 milliseconds Static checking: 128 milliseconds Read ~/usr/PFC/ProjectFortress/FortressLibrary.tfs: 430 milliseconds Hello, World! finish runProgram Program execution: 1273 milliseconds

夏休みの間に、課題言語を設定して3日間その言語を狂ったようにひたすら使い続ける、みたいなことを2回か3回やろうかと計画中。1回目は8/13からFortressかなぁ。

component Hello export Executable f(x) = x^2 + 2 x + 1 g = fn(x) => x^2 - 2 x + 1 run(args:String...) = do for i <- seq(0#10) do println "f(" i ") = " f(i) println "g " i " = " (g i) end end endFortressの特徴のひとつとして、数式を黒板に書…

前回: 自然数の桁数つづき - 日記を書く [・w・] はやみずさん実験してみたら、でかけりゃいいってもんでもないらしい。 gosh> (define (log10 x) (/ (log x) (log 10))) log10 gosh> (for-each print (map log10 (map (cut expt 10 <>) (iota 30 1)))) 1.0 …

λシャツ発注してきた。注文の用紙に「Illustrator 8以前の形式で」と書いてあった気がするけど、Illustrator10の形式で渡しちゃった。何も連絡がないから多分おk。LLSpiritには間に合いそうなので、λっぽいコミュニティの人にもそうでない人にも配るので受け…

はてなスターTシャツ欲しい！