年末なので2009年アニメのOPED曲をピックアップしてみた。 基準は好きなところが思い出せた曲。 14曲になった。 silky heart (とらドラ！) 震えるぞハート！燃え尽きるほどヒート！…という感じの歌詞。 HANAJI (まりあ†ほりっく) 鼻血を吹く変態が見える。 …

デザインパターンのパターンではなくパターンマッチのパターン。 Haskellにはn + kパターンという、漸化式を書きやすくする構文があるのだが Scalaで試みる。

PowerShellのbreakは、 パイプ処理を、先行する関数を含めて途中で止める 効果があると知った。

正規表現の後方参照をダブルクォートの中でしようとすると変数が展開されるためハマる。 以上。 "hoge" -replace "(.)(.)(.)(.)", '$4$3$2$1' "hoge" -replace "(.)(.)(.)(.)", "fuga$4$3$2$1"実行結果 egoh fuga

概要 2回ハマったのでメモ。 eqの定義とパターンマッチ(の型アノテーション)の難しさのせいで、 eqがtransitiveであることの証明は意外に難しい。

概要 Coqの型クラスはレコード。普通の型と同様に使える。

字余り。 先日、一社から内定が出た。 入社の意思を伝え、就職活動終了。

注意 本物のif式ではありません。 if式っぽいもの。 概要 動的型付け言語では、if式(条件式)がいろいろな型について使える。 (数値型、オブジェクト型、など) それを静的型付けのScalaでやってみる。

概要 呼ぶとそれ自身がいなくなるような関数はないものかと一考。

前回のエントリー http://d.hatena.ne.jp/kya-zinc/20091205/1259999256 を考え直した。 要するに無名関数からthis(自分自身の参照)が見えればよいので applyの引数として渡してやる。 呼び出しにはもう一つの無名関数f => f(f)を使ってやる。 object Anonym…

PowerShellのパイプで再帰 再帰呼び出しでスタックオーバーフローします。 それだけ。 {& $_} | % {& $_} Scalaの無名関数で再帰？ Scalaの無名関数で再帰ができるのかどうか気になった。 object AnonymousRec { def main(args : Array[String]) : Unit = { …

バイトコードを見てみよう 前回のエントリー id:kya-zinc:20091204 でコンパイラにバグがあったことを知った。 何が違ったのかな、と思い、Javapコマンドでバイトコードを見てみた。 問題の関数のみ抜粋。バグあり版 public void finally_rec(int); Code: 0:…

注意 (12/4追加) コンパイラのバグでした。 fixされている模様です。 概要 finallyの中でenclosing関数の再帰呼び出しをするのは非常に危険。

概要 foldlの時 http://d.hatena.ne.jp/kya-zinc/20091128 と同じように、 パイプから流れてきたオブジェクトをスクリプトブロックでたたみこむ。

11月29日、みるくらりあっとVol. 2にて ave;new feat. 佐倉紗織のライブを初めて聞いた。ボーカルは佐倉紗織単独で 60分12曲という濃密さに満足。 この長さのライブは初めてということなので 幸運だったかもしれない。 歌手として体力、肺活量などのレベルが…

概要 PowerShellのパイプで流れてきたオブジェクト群をたたみこむ。 mapとfilter Windows PowerShellは、その名の通りWindowsのシェルで、 .NETのオブジェクトがパイプラインで流れるという特徴がある。PowerShellで気になっているところは、 パイプラインか…

週末11/29に、ライブ みるくらりあっと Vol.2〜続・MOE COMPLEX〜 http://www.milkrecord.jp/mlt/ を見に行くことにした。イベントコンセプトは 今年は「続・MOE COMPLEX」と題して、日本を代表する萌え系アーティストが一同に集結！ 萌えの祭典的なライブイ…

所属しているジャグリングサークルの ある学園祭参加チームを応援すると決めた。 動機は楽しそうだから。 「協力者求む。」 ではなく、 「ぜったい楽しいから、いっしょにやろうよ！」 気持ちだけこんな感じで仲間を募集中。 ただしネタバレ注意。

概要 タイプウェル英単語でDvorakを練習すると七日でこうなる…人もいるかもしれない。 レベルなしからレベルBまで加速した。 配列習得コストは(すでにQWERTYで下地のある英語ならば)意外と低いようだ。

概要 Dvorakを始めると初日はこうなる…人もいるかもしれない。 姫踊子草で配列変更 + タイプウェル英単語で練習。

電器屋に行ったのでノートパソコンのキーボードに触ってみた。 15分ほどかけて適当に打ってみると打ちやすさは NEC 東芝, 富士通 SONY SOTEC の順、という印象。もちろんメーカー毎に機種はいろいろあるので勝手な話ではある。 (特にSONYはキー同士が離れて…

某社の採用面接で不採用になる。 社長に面接していただく。「自分はどんな人間だと思うか？」 「アピールポイントはどこ？」 という質問を受けたが 殆ど何も答えられずに困る。その結果、社長に 「ビジネスには、人間関係が大事だけど、 自分がどんな人間か…

夏休みのせいかいろいろと不調なのでメモをとっておく。 こういう症状の原因と対策をご存じの方にはぜひご教授願いたい。 総括 やる気がない。 元気がない。 体感 胸に悪いものが入っている感じ。 背筋が伸びない。 呼吸が浅い。 暗いところで泣く。 夜空が…

概要 前のエントリーでScalaのreturnで遊んだ http://d.hatena.ne.jp/kya-zinc/20090901 とき、Javaの挙動が気になったので、finallyについて調べてみた。 Scala同様、finally中でreturnまたはthrowすると、 tryの中のreturnやthrowを打ち消すことができると…

概要 Scalaのreturn, throw(の結果)はNothing型(すべての型のサブタイプ)をもつので、 returnで、returnを評価した結果(Nothing型)を返すことができる。 これを利用して、return{return{...などで遊ぶ。

動機 メモをとるためのテキストファイルがほしい。 しかし名前を考えるのが面倒。 概要 今日の日付(yyyyMMdd.txt)のテキストファイルをなければ作成し、開く。 実装 バッチファイルでそのまま。 @echo off SET f=%date:~0,4%%date:~5,2%%date:~8,2%.txt IF N…

動機 再帰呼び出しにメモ化がかかってほしい。 概要 Scalaでは、高階関数と遅延評価が使えるので 不動点演算子を実装することができる。 自分で再帰を書く代わりに不動点演算子を使う書き方を試み 再帰呼び出しのメモ化ができることを確認する。

(8/5更新) 実験4を追加。 概要 Scalaでは、遅延評価が許されているので returnがメソッドの実行ではない場所で評価されることがある。 これで遊んでみる。 実験1: foreachの中でreturn まずは簡単な使い道。foreachに渡すブロックの中でreturnする。 package…

概要 相互再帰(互いに呼びだし合う再帰)が 末尾再帰(再帰呼び出しが末尾のみに出現)の場合、 ループでスタックを積まずに実行することができる。 このための高階関数を用意する。参考: 相互再帰 http://ja.wikipedia.org/wiki/相互再帰 相互再帰の例: Intの…