2015-01-01から1年間の記事一覧
TSG Advent Calendar 2015 - Adventarの12/13の記事です。 序文 - pCICとは pCICはPredicative Calculus of (Co)Inductive Constructionsのことで、coqの型システムのことです。 定理証明支援系と言われるcoqですが、そもそもcoqで「証明する」とはどういう…
CPU実験 Advent Calendar 2015 - Adventarの記事です。特別面白そうな話題は思いつかなかったのでこれまでの経緯をまとめただけです。 アーキテクチャについて まずは今回自分が作成したコアについて簡単に説明しておく。 tomasuloのアルゴリズムを使ったア…
大学の冬休みの課題(ハードウェア構成法講義 - 平木研究室)で25bitの小数P()の平方根A(25bit)を求める回路を書くという課題が出たのでその方法を考えた。気の向くうちにと勢いで書いた記事なので分かりにくかったり間違えてたりするかも。 問題の設定 小数の…
