予算的にもJRバス使うのがたぶんいい。foll...testes2013-03-10flymakeすげえその他flymake名前は聞いたことあったけど使ってみたらヤバかった。Higepon's...flymakeすげえ2012-12-30終幕その他2012年色々あったので適当にまとめておこうと思う。twitter再開した記録がある。あと適当にこなした卒研。最近研究してることの種は全部ここで蒔かれたと言ってもいい。某つどいをネットで眺める。このへんの記憶はない。いう話で、ちょっと思ったことを書く。topos、をその対象とします。element)とは射のこと。言われてもなんのこっちゃ。́・ω・`)੭ु))sicp演習問題淡々と。3章を読んでいるのですが、ここら辺でSchemeの肝になってる静的スコープと説明と動的なデータをどうやっていじるかの説明が入っている感じです。Structureのところを読んでいます。́・ω・`)੭ु))2012-10-30にょん٩(๑❛ᴗ❛๑)۶その他SGL読んでるけど、topos考えるときはやはりSetsとの対応を念頭にしながらするとよい、ということがわかりました(小並感)あと、この本、本当にIntroductionって形容がぴったりで、読みやすいですね。今まで敬遠してたのがバカバカしいです。作ろうとしたら謎仕様になったとうという話。書く練習しようと思って色々データいじっていたんだけど、かなり脱線したので一応書いておきます。実はこの辺は教科書で勉強したことがなくて、かなり記...うにゃーーーー2012-08-04'(..'('(これはquoteのついた文章です)はquoteのついた文章です)はquoteのついた...sicpquotationがよくわかりません、という話になりました。)はexpressionをすぐに評価するもので、なんですか、評価はapplicative-orderじゃないんですか!みたいな感じになりました。修行不足なので出直します。'(..'('(これはquoteのついた文章です)はquoteのついた文章です)はquoteのついた...2012-07-31おわり。謎の勉強会はい、今期はおわり。