杉本 徹 | 独立行政法人理化学研究所脳科学総合研究センター

スポンサーリンク

概要

• 同名の論文著者
• 独立行政法人理化学研究所脳科学総合研究センターの論文著者

関連著者

• 佐藤 伸也

  東大院工

• 杉本 徹

  理化学研究所脳科学総合研究センター

• 佐藤 伸也

  姫路獨協大学経済情報学部

• 杉本 徹

  理化学研究所

• 杉本 徹

  独立行政法人理化学研究所脳科学総合研究センター

• 佐藤 伸也

  東京理科大学大学院理工学研究科

• 杉本 徹

  東京理科大学理工学部

• 山田 眞市

  東京理科大学理工学部

著作論文

• インタラクションネット抽象機械の軽量化
• Linear CHAMを用いた型付きλ項の評価
• 古典線形論理の計算的解釈に基づく関数型言語の並列実行モデル
• 型付きλ計算の古典線形論理の計算的解釈への埋め込み
• インタラクションネット抽象機械の軽量化
• 古典線形論理の計算的解釈 Linear CHAM に基づく関数型言語とその並列実行モデル

スポンサーリンク