2014-06-01から1ヶ月間の記事一覧

組込み系現場と形式手法の合い間で

組込み系開発現場というのはもう、わけの分からない日本語と簡体字と中国語の怒号が飛び交う、わけの分からない世界なのですが、でもその芯には並行プログラミングがあって、そこを綺麗に安全に安く作るためにはCSPやπカリキュラスやらがどうしても必要にな…

今年のF1は面白いじゃないか

Mercedes F1のタービン、コンプレッサーの配置がとんでもないという話がようやく伝わってきました。10万回転するタービン、コンプレッサーをシャフトでつないで離して配置してよく動くもんですね。そしてコンパクトな水冷インタークーラーで吸気が冷えるもの…