パソコン 周辺機器のことならセンチュリー（CENTURY）
2024年 1月 9日 当社無人航空機「D-HOPE I－J01型」につきまして無人航空機の第二種型式認証の申請が受理されました 2023年10月16日 10月11日～10月13日に開催された「危機管理産業展 (RISCON TOKYO) 2023」に出展しました 2023年10月 6日 北海道士別市消防本部と合同で「D-HOPEⅠ」による『災害救助等デモストレーション』を実施しました 2023年10月 2日 9月27日～9月29日に開催された「緑十字展2023」に出展しました 2023年 8月 1日 2023年7月7日の釧路新聞の朝刊に、「東京国際消防防災展 2023」に出展していた当社産業用ドローン「D-HOPE I」に関しての記事が紹介されました 2023年 2月20日 2月17日、NHK総合「漫画家イエナガの複雑社会を超定義」で当社「D-HOPE」が紹介されました 2022年 9月
人間対人工知能、ポーカー対決は人間勝利 | スラド
The Registerの記事が詳しいが、アメリカ人工知能学会において、 Phil "The Unabomber" Laak, Ali Eslami 両氏のプロポーカーと University of Alberta の人工知能「Polaris」が対決したそうで、11時間にもおよぶ対戦で2-1-1で人間側が勝利し、二人は5万ドルの賞金を得たそうだ。 The First Man-Machine Poker Championship と Man vs Machine – Polaris vs Laak and Eslami のサイトも参照。 Polaris はチェッカーの動きを完全解読したというチームが開発したものだが、相手プレーヤの手の内を見ることができないポーカーというのは、人工知能的にはかなり難度が高いらしい。 将来的にはポーカーでもコンピュータに人間がかなわなくなる時がやってくるだろうか
Theoretical Computer Science | Journal | ScienceDirect.com by Elsevier
Theoretical Computer Science is mathematical and abstract in spirit, but it derives its motivation from practical and everyday computation. Its aim is to understand the nature of computation and, as a consequence of this understanding, provide more efficient methodologies. All papers introducing or studying mathematical, logic and formal concepts and methods are welcome, provided that their motiva
情報処理学会電子図書館
情報処理学会電子図書館サービス終了のお知らせ 平素は当サービスをご利用いただきまして、誠にありがとうございます。 この度、「情報処理学会 電子図書館 サービス」は本サイトを閉鎖しサービスを終了することとなりました。 サービス終了につきまして、下記の通りご案内申し上げます。 何卒ご了承いただきますようお願い申し上げます。 長年のご愛顧誠にありがとうございました。 ■サービス終了日時■ 2013年 4月1日(月) 午前10時 をもって本サイトを終了いたしました。 ■今後について 今後は情報処理学会が運営する、「情報学広場」をご利用ください。 「情報学広場」では、情報処理学会発行の出版物のうち、会誌、論文誌、研究報告、シンポジウム論文集、欧文誌、英文誌の創刊号から最新号までのデータが掲載されています。 情報学広場はこちら 情報学広場の利用方法はこちら 情報処理学会に関するお問い合わせはこちら
コンピュータ ソフトウェア
チュートリアルシリーズ『ソフトウェア工学の実証的アプローチ』第2回 プログラムの動的解析 公開日: 2012/03/26 | 29 巻 1 号 p. 1_47-1_60 石尾 隆
dblp: computer science bibliography
case-insensitive prefix search: default e.g., sig matches "SIGIR" as well as "signal"exact word search: append dollar sign ($) to word e.g., graph$ matches "graph", but not "graphics"boolean and: separate words by space e.g., codd modelboolean or: connect words by pipe symbol (|) e.g., graph|networkUpdate May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolea
FrontPage - 日本ソフトウェア科学会 プログラミング論研究会 (JSSST-SIGPPL) (Special Interest Group on Programming and Programming Languages)
イベント † 第26回プログラミングおよびプログラミング言語ワークショップ（PPL 2024） 2024年3月5日(火) 午前 〜 7日(木) 夕方 朱鷺メッセ 新潟コンベンションセンター および オンラインのハイブリッド開催 プログラム委員長： 安部 達也（千葉工業大学）， 川端 英之（広島市立大学） 組織委員長： 木村 大輔（東邦大学） 終了したイベント ↑ 概要 † 「プログラミング論研究会（略称：PPL）」は、 プログラミング言語とプログラミング方法論に関する研究討論の場を提供することを目的としています。理論面では，新しいプログラミングパラダイム等のための形式系の構築，プログラミング言語や仕様記述システムの設計理論等の構築，プログラム変換の形式化などを対象とし，実践面では，理論を適用した実装技術の開発や言語処理系の試作，およびそれらの具体的な問題領域への適用，さらにツール化，プログ
情報処理学会 プログラミング研究会
IPSJ Special Interest Group on Programming 新着情報 第149回プログラミング研究発表会 (PRO-2024-1) の案内を掲載しました．(2024-02) 2024年6月13-14日の開催 第148回プログラミング研究発表会 (PRO-2023-5) の案内を掲載しました．(2023-12) 2024年3月21-22日の開催 第147回プログラミング研究発表会 (PRO-2023-4) の案内を掲載しました．(2023-10) 2024年1月11-12日の開催 第146回プログラミング研究発表会 (PRO-2023-3) の案内を掲載しました．(2023-07) 2023年10月31-11月1日の開催 第145回プログラミング研究発表会 (PRO-2023-2) の案内を掲載しました．(2023-04) 2023年8月2-4日の開催（SWoPP2
日本ソフトウェア科学会 ホームページ
2024年度 役員候補者選挙ならびに代表会員選挙の投票 (03/01-03/14) 2024/02/22 2023/11/16 2024年度 代表会員・役員候補者選挙公示 2023/02/22 2023年度 役員候補者選挙ならびに代表会員選挙の投票 2022/11/04 2023年度 代表会員・役員候補者選挙公示 2022/09/02 日本ソフトウェア科学会第39回大会 - 表彰式 学会誌「コンピュータソフトウェア」のご案内です コンピュータソフトウェア誌 投稿のご案内 特集号の募集 研究会に関するご案内です 各研究会のご紹介 研究会資料シリーズ 各種イベント情報へのリンクです 大会 チュートリアル 協賛・後援イベント その他の情報へのリンクです 学会刊行物 表彰等 会員メーリングリスト 日本ソフトウェア科学会に関する情報です 概要・アクセス 定款・規定集 各種お申し込みについて 役員・各
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://www.technobahn.com/cgi-bin/news/read2?f=200707202237&page=2
Search
SIAM Journal on Computing
Science of Computer Programming | Journal | ScienceDirect.com by Elsevier
Lecture Notes in Computer Science | SpringerLink
ACM Digital Library
CiteSeer
http://directory.google.com/Top/Computers/Computer_Science/
http://www.acm-japan.org/index.html
情報処理学会
IEEE Computer Society
