安藤 聡 | 名古屋大学大学院情報科学研究科

スポンサーリンク

概要

• 安藤 聡の詳細を見る
• 同名の論文著者
• 名古屋大学大学院情報科学研究科の論文著者

関連著者

• 安藤 聡

  名古屋大学大学院工学研究科マイクロ・ナノシステム工学専攻

• 草刈 圭一朗

  名古屋大学 大学院情報科学研究科

• 酒井 正彦

  名古屋大学

• 安藤 聡

  名古屋大学大学院情報科学研究科

• 坂部 俊樹

  名古屋大学大学院 情報科学研究科

• 西田 直樹

  名古屋大学大学院 情報科学研究科

• 坂部 俊樹

  名古屋大学 大学院情報科学研究科

• 西田 直樹

  名古屋大学 大学院情報科学研究科

• 西田 直樹

  名古屋大学大学院情報科学研究科

• 坂部 俊樹

  名古屋大学大学院情報科学研究科

• 酒井 正彦

  名古屋大学大学院情報科学研究科

• 草刈 圭一朗

  名古屋大学大学院情報科学研究科

もっと見る 閉じる

著作論文

• 三値関数を実現するMalbolge命令列の発見のためのSATエンコーディング
• Malbolgeの高級アセンブリ言語への配列機能の追加
• 三値関数を実現するMalbolge命令列の発見のためのSATエンコーディング(プログラミングと数理モデル,ソフトウェアサイエンス、理論)
• Malbolge低級アセンブリプログラミングにおける制御命令の配置設計のためのSATソルバの利用(アルゴリズムと言語処理系)

スポンサーリンク