OpenFlowのインストラクションとアクション

openflowtrema

Posted on May 25, 2015


Ryubook に記述があったのでメモ. http://osrg.github.io/ryu-book/ja/html/openflow_protocol.html#id3


Emacs 24.4 のインストール

emacsemacs_reboot

Posted on Oct 24, 2014


僕はメインマシンが Mac なので, Homebrew でインストー ルします. brew install 一発でインストールできるのでほんと便利. 今回 はとりあえず全部入りでインストールしてみました.

% brew install emacs --cocoa --keep-ctags --with-d-bus --with-gnutls --with-imagemagick --with-librsvg --with-mailutils

ちなみに, どういうコンパイルオプションがあ...


アンダースタンディング コンピュテーション 3

ucrubyprogrammingbook

Posted on Oct 19, 2014


文 (statement) の目的は、評価されることで抽象機械の状態を変更すること。いままで扱ってきた式の目的は、評価することで新しい式を生成すること。

何もしない文


アンダースタンディング コンピュテーション 2

ucrubyprogrammingbook

Posted on Oct 17, 2014


変数を使えるようにする

変数を簡約するために、変数名から値へのマッピングとして環境を導入する。

$$\langle x, \sigma \rangle \rightsquigarrow_e \sigma(x)\ if\ x \in dom(\sigma)$$

実装は Hash を使うだけ。

class Variable < Struct.new(:name)
  def reduce(environment)
    environment[name]
  end
end

そして...


アンダースタンディング コンピュテーション 1

ucrubyprogrammingbook

Posted on Oct 17, 2014


今日からアンダースタンディング コンピュテーション (オライリー) を読みはじめた。第 1 章は Ruby 入門なので飛ばす。 第 2 章では SIMPLE という言語の小ステップスタイルな操作的意味論 (p.21) を Ruby で記述する。

操作的意味論を Ruby で記述する意義については p.22 に下の注意があった。

Ruby を使うことの大きな欠点は、単純な言語を説明するのにより複雑な言語を使っていることで、おそらく哲学的意義を損ねています。 数学的規則は意味論の信頼でき...


puts の秘密

programmingrubyputs

Posted on Oct 16, 2014


RubyTapas (Ruby プログラミングを扱った有料 スクリーンキャスト) のエピソード 171 ‘puts’ を観てヘェーと思ったのでメ モです。


新しい習慣作り

habitslift

Posted on Oct 16, 2014


新しく習慣を作るのはむずかしいです. たとえば, 何か目標があってそのため の正しい方法を知ってたとしても, それを習慣付けするのがむずかしい.

最近試行錯誤してて, いくつかいい記事をみつけたのでメモがわりにリンクし ておきます.

習慣作りに使ってるア...


Writing a compiler in Ruby, bottom up

programmingrubycompiler

Posted on Oct 16, 2014


Ruby でコンパイラを作るチュートリアルをみつけました. コード生成から始め, ボトムアップに作る構成となっています.


子供に楽しく片付けさせる方法

tipskids

Posted on Oct 16, 2014


大きな箱を用意して子供部屋の真ん中に起き、周りをぐるぐる周りながら片 付いていないものを中に入れていく遊びをしてみたところ、散らばっている おもちゃや服の 1 つひとつに目が向くようになって、これもこれもと中に入 れていくようになった。「部屋を片付けなさい」という言葉にはさまざまな 要素が含まれているため、息子さんにとっては手に負えないことになってし まっていた。ところがタスクを分解して 1 つずつやるようにしたことで、そ れまでなかなか手をつけられずストレスの元になっていたことに、自然...