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