SSSSLIDE

Shunji Nishimura さんの SlideShare でのスライド

全 5 件

出典: http://www.slideshare.net/ShunjiNishimura

  • タイミング制約を含んだ回路記述方式とその意味論3年以上前 by Shunji Nishimura
  • 様相論理によるマルチクロック同期回路の形式検証体系3年以上前 by Shunji Nishimura
  • 同期回路-ステート・マシン対応の一般化4年弱前 by Shunji Nishimura
  • 関数型言語と定理証明6年以上前 by Shunji Nishimura
  • Agdaで回路設計(をしたい)6年以上前 by Shunji Nishimura

SSSSLIDE

© 2012-2018 milk1000cc

スライドの著作権は、各スライド作成者に所属します。

  • スライド一覧
  • ブックマークレット
  • Twitter
  • お問い合わせ