4 0 0 0 チェッカー解明秘話
- 著者
- 岸本 章宏
- 出版者
- 一般社団法人情報処理学会
- 雑誌
- 情報処理 (ISSN:04478053)
- 巻号頁・発行日
- vol.48, no.11, pp.1257-1263, 2007-11-15
- 参考文献数
- 7
よく知られたボードゲーム「チェッカー」は,両プレイヤが最善を尽くせば引き分けになることが,アルバータ大学(カナダ)のJonathan Schae er教授を中心とする研究チームによって,計算機を用いて証明された.本稿では,チェッカーの解明に利用した技術と筆者がプロジェクトの一員として参加した経緯,およびチェッカー解明までの道程について述べる.
- 著者
- 金岡 晃
- 出版者
- 一般社団法人情報処理学会
- 雑誌
- 情報処理 (ISSN:04478053)
- 巻号頁・発行日
- vol.55, no.9, pp.1022-1023, 2014-08-15
4 0 0 0 OA 音楽情報処理技術の最前線 : 5.和声解析・リズム認識・自動伴奏・運指決定
小学生向けのプログラミング教育への取り組みとして,情報処理学会ではExciting Coding! Juniorと呼ぶセミナーを行っている.プログラミングの考え方を子供たちが創意工夫しつつ,しかも楽しく,自ら学んでいくことを狙いとしている.Scratch入門から,ゲームのアイディアを考えて実際に作り,発表するまでを半日で行っていて,参加者には好評である.2016年より2回開催し,今後,開催地域や実施回数を増やすことを検討している.また,小学校の情報教育で2020年にプログラミング教育が必修化されるのに向け,小学校の先生方の支援につなげていきたい.
4 0 0 0 最先端の自動並列化コンパイラ技術
- 著者
- 笠原 博徳
- 出版者
- 一般社団法人情報処理学会
- 雑誌
- 情報処理 (ISSN:04478053)
- 巻号頁・発行日
- vol.44, no.4, pp.384-392, 2003-04-15
- 参考文献数
- 7
- 被引用文献数
- 20
現在,共有メモリ型マルチプロセッサアーキテクチャは,半導体チップ上に複数のプロセッサを集積したチップマルチプロセッサから,デスクトップワークステーション,エントリレベルサーバ,スーパーコンピュータに至るまで,多くのコンピュータで採用されている.
4 0 0 0 OA ビットコインの構造と制度的課題 -分散型仮想通貨の提起する論点とは-
分散型の仮想通貨が相次いで登場し,インターネットの資金の流れを変えている.P2P技術を使ったビットコインなどの分散型仮想通貨は,これまでの電子マネーと全く異なり,発行主体が存在しない.このため,主体を規制する従来型の手法では適切なレギュレーションを及ぼすことができない.国境を超えて流通する分散型仮想通貨は,インターネット社会や現実の世界にどのような影響を及ぼすのか.分散型仮想通貨の構想を発表した原著論文を読み解きながら,その将来性と課題を考察する.そして,ビットコインなどの仮想通貨が原著論文の構想とは乖離している様子を確認したうえで,我が国における制度設計のためのヒントを探る.
4 0 0 0 OA 量子コンピュータ:6.量子アニーリングとD-Wave
量子アニーリングは,組合せ最適化問題を量子効果を利用して解くための汎用の解法である.シミュレーテッド・アニーリングにおける熱ゆらぎによる状態探索を量子ゆらぎで置き換えたものであり,シミュレーテッド・アニーリングに比べて一定の効率向上が見られることが知られている.カナダのベンチャー企業D-Wave社が開発してすでに発売・稼働しているD-Wave Oneおよびその後継機種D-WaveTwoは量子アニーリングをハードウェアレベルで実現した装置であり,初の商用量子計算機というキャッチフレーズにより注目を集めている.本稿では,量子アニーリングの基礎理論を概説したあと,D-WaveTwoがそれをどうやってハード的に実現しているか,実際に量子力学に従って動作しているのか,本当に速いのか,今後の注目点はどこにあるのかなどについて現時点での知見を紹介する.
4 0 0 0 OA Computational Thinking 計算論的思考
- 著者
- Jeannette M. Wing 翻訳:中島 秀之
- 雑誌
- 情報処理
- 巻号頁・発行日
- vol.56, no.6, pp.584-587, 2015-05-15
このエッセイはコンピュータ科学者だけではなく,すべての人が学び,そして使いたいと考えるに違いない一般的な態度とスキルに関するものである.
- 著者
- 瀧澤 武信
- 出版者
- 情報処理学会 ; 1960-
- 雑誌
- 情報処理 (ISSN:04478053)
- 巻号頁・発行日
- vol.54, no.9, pp.925-928, 2013-08-15
2013年3月~4月に行われた「第2回電王戦」で5人のプロ棋士とコンピュータ将棋5ソフトが対戦し,コンピュータ将棋ソフトが3勝1敗1分で勝ち越した.その直後の5月3日から5日に開催された「第23回世界コンピュータ将棋選手権」におけるコンピュータ将棋のパフォーマンスと結果を考察する.この選手権には招待1を含め40のソフトが参加し,Bonanzaが2006年以来2回目の優勝をした.準優勝はponanza,3位は第2回電王戦で活躍したGPS将棋であり,これらの3ソフトは,決勝でいずれも5勝2敗であった.決勝進出ソフトはすでにプロ級に達していると評価された.
4 0 0 0 OA ゲノム情報:9. 意味不明なDNA配列パターンのコンピュータ解析
4 0 0 0 OA 情報教育と情報入試:10.第1回大学情報入試全国模擬試験問題の紹介と解説・実施報告
4 0 0 0 OA ぺた語義:高専プログラミングコンテストの熱い戦い -競技部門編-
全国高等専門学校プログラミングコンテスト(高専プロコン)は比較的歴史の長いコンテストであり,文部科学省,総務省,経済産業省等から後援を受け,さらに多くの企業から支援も受けている.今回は3部門のうち競技部門について紹介している.競技部門は毎年ルールや競技システムをフルスクラッチで開発しており,参加者だけでなく主催者側も熱い戦いを繰り広げている.平成27年度に長野市で開催された第26回大会の様子を中心に,競技ルールや競技システムについて報告している.また,本選用に開発した競技システムを他の教育でも活用できるよう,インターネットで公開しているのでその様子についても報告している.
4 0 0 0 OA IEEE-CSコンピュータ・パイオニア・アワード受賞講演
- 著者
- 奥村 学
- 出版者
- 一般社団法人情報処理学会
- 雑誌
- 情報処理 (ISSN:04478053)
- 巻号頁・発行日
- vol.41, no.11, pp.1203-1207, 2000-11-15
4 0 0 0 OA 弁護士から見た情報処理:3. 大学における授業および研究活動と著作権法
教育・研究には他人の著作物の利用は必要不可欠であるため,大学は他人の著作権を侵す危険性が高い環境にある.特に昨今の情報技術の進化とともに教育・研究環境は劇的な変化を遂げ,新しい態様での著作物の利用が可能となり,特定の行為が他人の著作権侵害行為に該当するか否かの判断は容易ではない.本稿では,初めに,著作権者の許諾なしに著作物が使用できる場合,特に大学環境に関連の深い規定を概観し,次に自己の研究成果物の著作権が大学等の組織に帰属するのはどういうときか,職務著作該当性判断の問題に触れる.最後に,eラーニングの利用や学内システムの利用等,近年顕著に見られる情報処理行為の著作権制限規定該当性について検討する.
慶應義塾大学SFCでは,技術者志望ではない学生も多いが,全員がプログラムを書けるようになることを目標として必修のプログラミング教育を行っている.現実には,全員が実用的なプログラムを書けるようになるわけではないが,論理的思考力の訓練,情報システムの原理的な動作の体験,プログラミングの才能の発掘などの意味があると考えている.以前はコンピュータ・リテラシーの科目とプログラミングの科目が分かれていたが,現在は並行して教えるようになっている.その理由は,ウェブ技術を理解するという大目標の中でプログラミングを学習することで,学習する意味を明確にするためである.
4 0 0 0 OA ぺた語義:オープンソースを活用した専門職大学院大学におけるオブジェクト指向技術教育の紹介
- 著者
- 松本 行弘 加藤 和彦 千葉 滋 増原 英彦 小野寺 民也(進行・構成) 笹田 耕一(進行・構成) 高橋 征義(進行・構成)
- 雑誌
- 情報処理
- 巻号頁・発行日
- vol.56, no.12, pp.1192-1197, 2015-11-15