昨日は、展示会で皆さん出払っていて静かなので。。 ひさしぶりに研究活動、もちろん業務の裏付けとして、、、そしてついに、課題のうちの１つ「プロトコル合成」のアイデアが 浮かんだ！それで業務上の資料もうまく説明できた。まるで２３世紀からきた分析…

とにかく続けることが力なり、なのそうなのでめげずに続けます。さてProcess Algebraの本はどんどん難しくなってしまうので、 すこし応用の論文をさがしてみました。どうも1394関係の論文C. Shankland and M.B. van der Zwaag. The tree identify protocol o…

話題だったので、仕事のマシンに間違えて入れてしまった。2000ユーザーなので、ＧＵＩがえらく進化している それにわかりやすいし、うざったいフローティグメニューもない、 ユーザクリックを数万件分析しただけ合って、必要な場所に 必要なメニューがはいっ…

とりあえず、薄くて安い本 をamazonでかって、読むことにした。簡単そうであるがそうでもない。とりあえず今日は2.Basic Process Algebra までを朝マクドで処理。この本は、大学生(undergrad)向けとうたってはおりますが。。 BPAには +と・しか基本演算子？…

とりあえずインストールしてみた。 うごかすと、確かに FIRフィルタのVerilogとSystemCが出力される。よくみると、これは転置型のフィルターだ。直接型 は表せるのだろうか？confluenceやlavaのほうが、HW記述関数言語としてはよいかな？