姜 帆 | 東京大学:国立情報学研究所:(現)日本電気株式会社情報・ナレッジ研究所

スポンサーリンク

概要

• 姜 帆の詳細を見る
• 同名の論文著者
• 東京大学:国立情報学研究所:(現)日本電気株式会社情報・ナレッジ研究所の論文著者

関連著者

• 本位田 真一

  東京大学

• 姜 帆

  東京大学:国立情報学研究所:(現)日本電気株式会社情報・ナレッジ研究所

• 田辺 良則

  東京大学

著作論文

• Coqを使用したMapReduceアプリケーションの検証とScalaコードの抽出(ソフトウェアシステム)

スポンサーリンク