知的たくましさと最先端の科学技術により社会に貢献する

Slides:



Advertisements
Similar presentations
画像処理・実習 第十四回:パターン認識 東海大学 情報理工学部 情報メディア学科 濱本和彦. 今回の内容 5. パターン認識 5.1 マッチングの原理 5.2 テンプレートマッチング 実習 相互相関とテンプレートマッチング.
Advertisements

授業展開#12 コンピュータの扱いにくい問 題. 扱いにくい問題  処理時間がかかる。  メモリを大量に必要とする。  プログラムの優劣、アルゴリズムの優劣 を比較するためには、標準的なコン ピュータで比較する必要がある。  処理時間を計るのに、コンピュータのモ デルとして、チューリングマシンを考え、
1 Travel Memory's Map ~咲いた草花は地域への想い~ 大学生になると、サークルやアルバイトで出会った友達と旅行に行く機会が多くなる。 無計画の旅はそれなりに楽しいかもしれないが、事前に地域の魅力や情報を知っていたら、より充実した旅になるであろう。 一方、旅に来てもらう側では、訪れる人が少ないと地域経済が停滞し、地域社会が衰退する結果になってしまうので、積極的に地元の魅力.
模擬国内予選2013 Problem F テトラ姫のパズル 原案:須藤 解答:大友、須藤 解説:須藤.
コンピュータプラクティス I 口頭発表 水野嘉明
区間グラフにおける区間表現からMPQ-treeを効率よく構成するアルゴリズム
3次元nクイーン問題の 解に関する研究 論理工学研究室 伊藤精一
新生活特集ページ 広告のご案内.
データ構造と アルゴリズム 第十二回 知能情報学部 知能情報学科 新田直也.
ラベル付き区間グラフを列挙するBDDとその応用
他機関で開発されたコンポーネントを 再利用して構築した, 音声認識による指示対象物体把持システム
絵画的迷路の作り方 岡本 吉央 東工大 上原 隆平 JAIST.
ホームページのリニューアル企画書をつくりたい
全体ミーティング (4/25) 村田雅之.
群論とルービックキューブ 白柳研究室  水野貴裕.
データ構造と アルゴリズム 理工学部 情報システム工学科 新田直也.
5.ブログの有効活用 プレゼンテーション資料 「ネット社会の歩き方」レッスンキット プレゼンテーション資料集
1 次方程式 直線   と 軸が交わる点 解ける! 解析的に解ける(解析解)   または 厳密に解ける (厳密解)
Scilab で学ぶ  わかりやすい数値計算法 舞鶴高専 電子制御工学科 川田 昌克.
整数計画法を用いた スリザーリンクの解法 杉村 由花 (東京大学)
「データ学習アルゴリズム」 第3章 複雑な学習モデル 3.1 関数近似モデル ….. … 3層パーセプトロン
第18回全国高専プログラミングコンテスト 課題部門 10020
人 工 知 能 第3回 探索法 (教科書21ページ~30ページ)
意見形成の場としての SNS、ブログ、ネット論壇
整数計画法を用いた ペグソリティアの解法 ver. 2.1
2007年度 地震発生論セミナー エネルギー論の観点から
12月11日(土) 13:00~15:00 長崎大学教育学部 全炳徳 久方純
データ構造と アルゴリズム 知能情報学部 新田直也.
「六角大王」によるCG作成と Webページ制作
OpenOffice.orgの日本語処理 中本 崇志.
“Open in order to・・・” 「あらゆる人・場面へ・・ 扉を開こう!!」 活躍する法政大学 オープンアクセスウィーク?
京都大学 ○太田圭亮 川原純 伊藤大雄 堀山貴史
データ構造と アルゴリズム 第十一回 理工学部 情報システム工学科 新田直也.
理論試験速報 理論問題部会長 鈴木 亨 先生 (筑波大学附属高等学校) にインタビュー.
拡張タングラムとラッキーパズルの凸配置について
わたしの好きなWebページ 情報リテラシー実践Ⅰ 首都 大.
多角形パズル問題の ヒューリスティックによる 解法の検討
コード配色の変更を認めるマスターマインドの 推測回数に関する考察
システム演習B課題演習報告 森山了一(鈴木研究室)
テトリスにおけるAI の開発 情報論理工学研究室 13— 川原 翔太.
Webの世界へ飛びだそう! 情報の海で溺れないために
卒論の書き方: 参考文献について 2017年9月27日 小尻智子.
数学教育・工学教育における 数式処理電卓の活用
北陸先端科学技術大学院大学サマースクール 2012
コンピュータの仕組み 1E16M048 圓谷 英一 1E16M050 徳弘 徹也 1E16M051 戸張 将義 1E16M052 飛田 優輝
Introduction to Soft Computing (第11回目)
オープンソース開発支援のための ソースコード及びメールの履歴対応表示システム
Business Idea & Plan competition
論文紹介 - Solving NP Complete Problems Using P Systems with Active Membranes 2004/10/20(Wed)
数独の解生成と 解に対する番号付け 理学部 情報科学科 渡辺研究室 戸神星也.
北陸先端科学技術大学院大学 中田豊久,金井秀明,國藤進
新年度のスタートにあたり 2015年4月7日 後藤 滋樹 情報理工学科.
サポートベクターマシンを用いた タンパク質スレッディングの ためのスコア関数の学習 情報科学科4年 81025G 蓬来祐一郎.
WindowsMobile de HelloWorld
WindowsMobile de HelloWorld
多層的な知人関係に基づく 自己情報コントロールの実現
3次元Nクイーン問題の 解の存在の検証 07-1-037-0106 前波 大貴 情報論理工学研究室 宜しくお願いします。
co-café 2018 Winter 1/24㊌ そうだ、 JAISTにはAIがある。 co-café 申込締切
★C++/オブジェクト指向実践企画★ Othelloゲーム作成
問題作成、解説担当:中島 副担当:坪坂、松本
Webからの 人間関係ネットワークの抽出と 情報支援
メモリ使用量の少ないGCR法の提案 東京大学理学部情報科学科 工藤 誠 東京大学情報基盤センター 黒田 久泰
アルゴリズム入門 (Ver /10/07) ・フローチャートとプログラムの基本構造 ・リスト ・合計の計算
ICML読む会資料 (鹿島担当) 教師ナシ の 構造→構造 マッピング 読んだ論文: Discriminative Unsupervised Learning of Structured Predictors Linli Xu (U. Waterloo) , … , Dale Schuurmans.
コストのついたグラフの探索 分枝限定法 A*アルゴリズム.
原口和也 高橋隆一 丸岡章 石巻専修大学 理工学部 情報電子工学科
情報論理工学 研究室 第1回:並列とは.
アルゴリズム ~すべてのプログラムの基礎~.
1 ひとりにしてくれ数 東北大学 大学院情報科学研究科 ◎鈴木 顕 内澤 啓 国立情報学研究所 情報学プリンシプル研究系 宇野 毅明.
ペンシルパズルの大道芸ステージショーへの応用
Presentation transcript:

知的たくましさと最先端の科学技術により社会に貢献する 北陸先端科学技術大学院大学 2016年4月JAIST第二の創成 未来のシナリオを描くために 知的たくましさと最先端の科学技術により社会に貢献する 国立大学法人北陸先端科学技術大学院大学         理事・副学長 寺野 稔

Peg Solitaire Font 及川大志 (一関高専) 山崎一明 (北陸先端科学技術大学院大学) 及川大志 (一関高専) 山崎一明 (北陸先端科学技術大学院大学) 谷口智子 (北陸先端科学技術大学院大学) 上原隆平 (北陸先端科学技術大学院大学)

ペグソリテア 4巻目の11章のテーマ:ペグソリテア 19世紀にヨーロッパ(の監獄?)で考案 イギリス版 上原研究室 日本語訳は現在 3巻目まで出てます. イギリス版 故マーティン・ガードナーの全集 15巻計画で,現在4巻まで刊行! 4巻目の和訳:現在校正中... 春の間には出ます. 上原研究室

1手でひとつ減るので,初期盤面のペグ数=手数+1 ペグソリテアのルール 1手でひとつ減るので,初期盤面のペグ数=手数+1 ジャンプを繰り返し、ペグが中央に1つ残れば成功 ペグは、隣のペグを1つだけ飛び越えられる 飛び越えられたペグは消える 最終盤面 初期盤面

ペグソリテアに対する先行研究 ガードナーの本: 1991年の上原の修士論文 「解のいくつかはわかっているが,総数は不明」 今のスパコンなら 解けるんじゃ? ガードナーの本: 「解のいくつかはわかっているが,総数は不明」 1991年の上原の修士論文 一般化ペグソリテアは NP 完全問題 ヒューリスティックで、いくつかの解を発見 計算時間・・・1週間以上かかった 当時のコンピュータ(NEC PC-9801VM2改): 16bit CPU, 640 KB memory 当時の上原:「すべての解を求めるのは不可能」 最近の上原

結果 2016年9月6日,コンピュテーション研究会 神戸大学の兼本君が実装結果を報告 ペグソリテアの解(初期盤面から最終盤面に渡るジャンプの手順)は、 40,861,647,040,079,968 通り (2009年に)既にやられてた・・・ Durango Bill’s 33 Hole Peg Solitaire http://www.durangobill.com/Peg33.html ↑ このページのものと答えは一致!

2016年9月6日,コンピュテーション研究会 上原さんのことだから, 神戸大学の兼本君が実装結果を報告 「当然」 フォントとか考えたよね? いや, まったく. お恥ずかしい. Invited Talk by Erik D. Demaine “Fun with Fonts” at JCDCGGG on 2016/09/02

2016年9月;Peg Solitaire Font Project 始動 フォントなら長方形.盤面の大きさが 33 よりちょいと大き いくらいなら手に負えそう: 2a. 手作業部隊 レーザーカッターで実物製作 2b. スパコン上で大人気ないプログラムで50分で    到達可能な1,045,173,438個 (約10億) を全列挙. その中からフォントを探すプログラムを別途製作. 実行環境:SGI UV3000 CPU: 71.27TFLOPS,     256CPU 1536コア メモリ: 32TB からスタートしてたどり着けるフォントを作る. テクニカルなところは明日山崎君がCOMP研で発表します.

2017年1月;Peg Solitaire Font Project 収束 3. 研究室内でコンペで決定: 4. Webで暫定公開: http://www.jaist.ac.jp/~uehara/fonts/peg-solitaire/

まとめと今後の課題 Webで暫定公開: http://www.jaist.ac.jp/~uehara/fonts/peg-solitaire 人間が「面白い」と思うサイズのパズルは,スパコンなら「大人気な いプログラム」で解けるようになりつつある. これを踏まえたアルゴリズム/計算モデルを考えると面白いかも? 白川俊博さん案: 現状:同じ初期状態から、いろいろな文字 白川案:いろいろな文字からスタートして,トークンひとつまで減らせるもの 「0/1反転」+「普通に解く」と今あるデータを再利用できます。 Bridges 2017(@Waterloo, 7/27-31) に投稿中… Mathematics, Music, Art, Architecture, Education, Culture がテーマ