古澤 仁 | (独)産業技術総合研究所情報処理研究部門情報科学連携研究体

スポンサーリンク

概要

• 同名の論文著者
• (独)産業技術総合研究所情報処理研究部門情報科学連携研究体の論文著者

関連著者

• 木下 佳樹

  産業技術総合研究所

• 木下 佳樹

  (独)産業技術総合研究所 組込みシステム技術連携研究体

• 古澤 仁

  独立行政法人産業技術総合研究所情報処理研究部門情報科学連携研究体

• 木下 佳樹

  独立行政法人産業技術総合研究所情報処理研究部門情報科学連携研究体

• 古澤 仁

  (独)産業技術総合研究所情報処理研究部門情報科学連携研究体

• 木下 佳樹

  独立行政法人産業技術総合研究所

• 木下 佳樹

  独立行政法人 産業技術総合研究所

著作論文

• テスト付きクリーニ代数の準代数構造
• B-3 連を用いたwhileプログラムの意味論(プログラムの理論,B.ソフトウェア)

スポンサーリンク