査読有り 招待有り 2016年7月 SATとラムゼー数 ~数学の未解決問題への挑戦~ 情報処理 藤田 博, 越村 三幸 巻 57 号 8 開始ページ 716 終了ページ 719 記述言語 日本語 掲載種別 記事・総説・解説・論説等(学術雑誌) エクスポート BibTeX RIS