t_wの輪郭

RSS

代数

2021/8/26 7:07:00

Max-plus代数ハイティング代数ブール代数代数的データ型

代数直観主義論理半順序集合

ハイティング代数

2024/4/22 19:36:00

Awodey『圏論』

代数データ型 ADT Algebraic Data Type

代数的データ型

2023/5/7 14:09:00

『Javaで代数的データ型は使えるようになるのか』

『仮想現実のメタフィジックス』代数ブール

ブール代数

2022/3/3 13:02:00

Awodey『圏論』

『クリティカルチェーン法の枠組みにおいて効率的に資源を活用するためのスケジューリング方法』代数

Max-plus代数

2021/8/21 9:06:00

『クリティカルチェーン法の枠組みにおいて効率的に資源を活用するためのスケジューリング方法』