shunji-nishimura documents

様相論理によるマルチクロック同期回路の形式検証体系
Engineering 様相論理によるマルチクロック同期回路の形式検証体系
定理証明言語によるハードウェア検証
Engineering 定理証明言語によるハードウェア検証
タイミング制約を含んだ回路記述方式とその意味論
Engineering タイミング制約を含んだ回路記述方式とその意味論
関数型言語と定理証明
Documents 関数型言語と定理証明
同期回路-ステート・マシン対応の一般化
Engineering 同期回路-ステート・マシン対応の一般化
Agdaで回路設計（をしたい）
Technology Agdaで回路設計（をしたい）
Agdaで仕様からコーディング
Documents Agdaで仕様からコーディング
Oxidized low-density lipoprotein (ox-LDL) binding to lectin-like ox-LDL receptor-1 (LOX-1) in cultured bovine articular chondrocytes increases production of intracellular reactive
Documents Oxidized low-density lipoprotein (ox-LDL) binding to lectin-like ox-LDL receptor-1 (LOX-1) in cultured bovine articular chondrocytes increases production of intracellular reactive
Broad-sense Synchronous Circuits on Partially Ordered Time
Devices & Hardware Broad-sense Synchronous Circuits on Partially Ordered Time
Theorem-proving Verification of Multi-clock Synchronous Circuits on Multimodal Logic
Engineering Theorem-proving Verification of Multi-clock Synchronous Circuits on Multimodal Logic
多重様相論理による遅延依存非同期回路の形式検証体系
Engineering 多重様相論理による遅延依存非同期回路の形式検証体系
Stateless Circuit Model toward a Theorem-proving Hardware Description Language
Engineering Stateless Circuit Model toward a Theorem-proving Hardware Description Language
同期回路の機能的定義による同期概念の形式化
Devices & Hardware 同期回路の機能的定義による同期概念の形式化