はてなブックマーク

• あとで読む

  Microsoft PowerPoint - 2017-12-14-JEITA_QA4ML.pptx

  5 users

  research.nii.ac.jp/~f-ishikawa

                                                                       

  • テクノロジー
  • 2018/02/17 15:58

  • 機械学習
  • *あとで
  • あとで読む
• あとで読む

  組合せ最適化 (一般人向けの解説)

  4 users

  research.nii.ac.jp/~uno

  組合せ最適化ってなんでしょか 組合せ最適化とは、何か1つ、与えられた条件を満たすような組合せなり順番なりを選ぶとき、選べる組合せの中から一番良いものをなるべく短時間で探し出すためにはどうすればいいか、という、その方法を研究する学問です。組合せを選ぶって、何だ、と思う方もいるだろうと思いますので、まずは簡単な例を紹介しましょう。 Ｓさんが、家の不要品を集めてフリーマーケットに持っていき、売ろうと考えています。集まった不要品は以下の通りです。値段もつけてみました。全部を持って行ければいいのですが、会場までは自転車で行かなければいけないので、そんなにたくさんの荷物は持てません。7kgが限界だと S さんは考えています。あと、傘とほうきとラケットは長くて荷物に入れづらいので、どれか1つしか持って行かないことにしました。なるべくたくさんお金が入ったほうがいいので、売値の合計がもっとも大きくなるよう、

  • 暮らし
  • 2017/06/28 10:16

  • あとで読む
• あとで読む

  Page Moved

  3 users

  research.nii.ac.jp/~rand

  This page has moved again. Click here to go to the new page.

  • 学び
  • 2016/07/01 14:48

  • 学び
  • knowledge
  • science
• あとで読む

  2016年度 コンピュータグラフィクス論 / Introduction to Computer Graphics 2016

  10 users

  research.nii.ac.jp/~takayama

  2016年度 東京大学理学部 コンピュータグラフィクス論 科目番号： 0510029 日時： 木曜2限 (10:25～12:10) 場所： 理学部7号館007 Introduction to Computer Graphics 2016 (School of Science, Univ. Tokyo) Course code: 0510029 Time： Thursdays, 10:25--12:10 Location: Science bldg. 7, room 007 担当教員 高山 健志 国立情報学研究所 助教 Email: takayama [at] nii.ac.jp 蜂須賀 恵也 創造情報学専攻 講師 Email: thachisuka [at] siggraph.org 安東 遼一 国立情報学研究所 助教 Email: rand [at] nii.ac.jp Lecturer

  • テクノロジー
  • 2016/04/05 03:43

  • CG
• あとで読む

  クラウドシステム基礎

  6 users

  research.nii.ac.jp/~f-ishikawa

  enPiT（東大・東工大）クラウドシステム基礎 副題：分散システム基礎とクラウドでの活用 資料（2015年度版） 1コマ目前半：イントロ 1コマ目後半：相互接続の仕組み （ 付録 ） 2コマ目：基本的な考え方 （ 付録１ ・ 付録２ ） 3コマ目：定足数によるアプローチ 4コマ目：順序づけ 5コマ目：クラウドサービスの設計思想（１） 6コマ目：クラウドサービスの設計思想（２） 7コマ目：議論・まとめ 演習解答例（講義後にアップロード） レポート課題 講師 石川 冬樹（国立情報学研究所） [email protected] 評価 出席ならびにレポート（ 10/6（火）〆切 ）-->により評価する．レポート詳細は資料参照．）

  • 世の中
  • 2016/02/22 10:48

  • クラウド
  • Distributed
• あとで読む

  秋葉 拓哉 (Takuya Akiba) - 国立情報学研究所

  25 users

  research.nii.ac.jp/~takiba

  国立情報学研究所でアルゴリズムを研究している研究者（特任助教）です． データベース，情報検索，人工知能などに応用を持つ，大規模なデータを効率的に処理するための実用的なアルゴリズムとデータ構造の開発に関心があります． 現在はソーシャルネットワークやウェブグラフのような現実世界の大規模ネットワークに向けた効率的なアルゴリズムの開発に取り組んでいます． 以前は ACM-ICPC, TopCoder, Google Code Jam のようなプログラミングコンテストに積極的に参加していました．私の TopCoder レーティングは最高で 3292 であり，これは当時世界 4 位でした．関連した書籍も執筆しています． @iwiwi をフォローする 2 点間の最短経路の計算は大規模グラフデータにおける最も重要な処理の 1 つであり， グラフデータベースのクエリ処理やネットワークを考慮した情報検索などの

  • テクノロジー
  • 2015/07/03 06:19

  • prog
  • algorithm
  • あとで読む
• あとで読む

  2015年度夏学期 東京大学理学部 コンピュータグラフィクス論 (0510029)

  5 users

  research.nii.ac.jp/~takayama

  科目番号：0510029 日時：木曜2限 (10:25～12:10) 場所：理学部7号館007 担当教員 高山 健志 国立情報学研究所 助教 Email: takayama [at] nii.ac.jp 蜂須賀 恵也 創造情報学専攻 講師 Email: thachisuka [at] siggraph.org TA 中島 一崇 五十嵐研 M1 Email: taka [at] ui.is.s.u-tokyo.ac.jp 参考情報 CG一般 コンピュータグラフィックス　改訂新版 (CGーARTS協会, ISBN:9784903474496) ディジタル画像処理　改訂新版 (CGーARTS協会, ISBN:9784903474502) Computer Graphics Gems JP 2012 (ボーンデジタル, ISBN:9784862461858) Computer Graphics G

  • テクノロジー
  • 2015/06/12 14:22

  • 3dcg
  • CG
  • あとで読む
• あとで読む

  Graph Golf: The Order/degree Problem Competition

  9 users

  research.nii.ac.jp

  Find a graph that has smallest diameter & average shortest path length given an order and a degree. News 2021-10-11: 7 solutions accepted! Now we concluded the 2021 competition! Check out the final rankings 2021-10-04: 1 solution accepted! 2021-09-27: 1 solution accepted! 2021-09-06: 4 solutions accepted! 2021-08-30: 1 solution accepted! 2021-08-23: 1 solution accepted! 2021-08-09: 1 solution acce

  • テクノロジー
  • 2015/05/28 22:21

  • computer science
  • アルゴリズム
• あとで読む

  JSTMセミナー（2014年12月）

  4 users

  research.nii.ac.jp/~f-ishikawa

  2014年12月5日・7日に行われるモデル発見ツールJSTMセミナーの資料置き場です． 12/6：資料・ツールの修正版をアップロードしています． 資料 スライド資料一式（pdf in zip） 演習用プロジェクトファイル（そのままImportできるzip） ツールダウンロード セミナーではツールインストール済のPCを用意しますので，自身でのインストールは不要です． 自身のマシンで試したいときのためのプラグインファイル Eclipse IDE for Java and DSL Developersを取得して下さい． Eclipseのeclipse/pluginフォルダーに，上記ファイルを解凍して出てくるjarファイルを追加して下さい． Javaはバージョン7以上のみ対応しています． ※ セミナー例題以外での挙動，Linuxでの挙動についてはまだ十分に確認していません．試用に際し何か要望や質問

  • テクノロジー
  • 2014/12/05 10:01

  • 形式手法
  • java
  • ツール
  • programming
  • JSTM
• あとで読む

  http://research.nii.ac.jp/~f-ishikawa/vdm/files/VDM-LangReference.pdf

  3 users

  research.nii.ac.jp/~f-ishikawa

  • 学び
  • 2013/09/22 19:57
• あとで読む

  ATR503文 - 音素バランス文・語 - 音声資源コンソーシアム

  12 users

  research.nii.ac.jp

  ATR音素バランス503文 Aセット～Jセット，各50文（Jセットのみ53文） 2音素連鎖402種と3音素連鎖223種計625種をバランス良く含む． 磯健一，渡辺隆夫，桑原尚夫「音声データベース用文セットの設計」音講論（春） pp. 89-90 (1988.3). 匂坂芳典，浦谷則好「ATR音声・言語データベース」音響誌，48巻, 12号, pp. 878-882 (1992). この文章をプロが発声したデータベースが使用許諾されています． 株式会社ATR-Promotions　「デジタル音声データベース － セットＢ」 （テキストセットのみの使用許諾もされています．詳細は株式会社ATR-Promotionsのページをご覧ください） ＜テキストの著作権について＞ 「ATR音素バランス503文」の著作権は，株式会社国際電気通信基礎技術研究所（ATR）に帰属しています．SRCより提供中の一部の

  • テクノロジー
  • 2013/08/29 16:31

  • 音声処理
  • dataset
  • 機械学習
  • ことば
  • 資料
• あとで読む

  Microsoft PowerPoint - 2012-05-11-SQiP-intro.pptx

  4 users

  research.nii.ac.jp/~f-ishikawa

  青字： 不具合が埋め 込まれる場所 黒字： 不具合が発見 される場所 赤字： 不具合の除去 における コストの増加率 １． 早くバグ を見つける ２． バグ検出の コストを下げる サイト内の紹介資料 累計コストを下げる ピークコストを下げる class EventManager instance variables users : set of User := {}; rooms : set of Room := {}; events : set of Event := {}; inv (forall ev1, ev2 in set events & ev1 <> ev2 => ev1.room <> ev2.room or ev1.date <> ev2.date); reservations : set of Reservation := {}; inv … operations …

  • テクノロジー
  • 2013/07/29 23:11
• あとで読む

  http://research.nii.ac.jp/~ksatoh/juris-informatics-papers/fpai2010-ksatoh.pdf

  3 users

  research.nii.ac.jp/~ksatoh

  • 暮らし
  • 2012/10/24 13:34
• あとで読む

  コーパスリスト - 音声資源コンソーシアム

  16 users

  research.nii.ac.jp

  音声コーパスリスト →音声コーパスを用いた研究成果一覧 （※DSC Reference Portal のサイトに飛びます） 無償コーパス ※当面は配布手数料（郵送料等）も無料とします 重点領域研究「音声言語」・試験研究「音声DB」 連続音声データベース (PASL-DSR) 筑波大 多言語音声コーパス (UT-ML) 東北大‐松下 単語音声データベース (TMW) 基盤研究(A)「日本語方言の地域差」方言音声コーパス (GSR-JD) RWCP 音声データベース 音声対話データベース - 96年版 (RWCP-SP96) 音声対話データベース - 97年版 (RWCP-SP97) 検索・要約用ニュース音声データベース (RWCP-SP99) 会議音声データベース (RWCP-SP01) RWCP 実環境音声・音響データベース (RWCP-SSD) 重点領域研究「音声対話」 対話音声コーパス

  • テクノロジー
  • 2012/10/06 02:58

  • corpus
  • データベース
  • data
• あとで読む

  VDM++による形式仕様記述

  19 users

  research.nii.ac.jp/~f-ishikawa

  VDM自体やその言語，ツールに関するFAQです． VDMに限らない形式手法全般については，著者もかかわっているディペンダブル・システムのための形式手法の実践ポータルなどをご参照下さい． 書籍にて解説しなかった情報を中心に載せています． あくまで著者自身の試用・見解に基づくものですので，特にツールに関する情報についてはぜひ公式な情報もご確認下さい． 質問項目は随時追加予定です（最終更新2012/01/26）．リクエストも受け付けております． 目次 位置づけ どういう状況に対してどういう利用効果が期待できる？ VDM-SL/VDM++はプログラミング言語じゃないの？ VDMの欠点・限界は？ 活用 VDM-SLとVDM++の違い（言語上・ツール上）は？どちらを使えばよい？ コード生成は使える？生成されたコードが気に入らない 文法・記述 セミコロンを打つべき場所がわからない 予期せぬ場所で操作の実

  • テクノロジー
  • 2012/09/24 07:29

  • 形式手法
  • 開発
  • *あとで
  • VDM
• あとで読む

  音素バランス文・語 - 音声資源コンソーシアム

  4 users

  research.nii.ac.jp

  音素バランス文・語 一覧 音声分析・認識の研究で使われている各種の音素バランス文・語を集めたものです．できるだけ少ない語数・文数で音素出現のバランスをとるために，それぞれ工夫がなされています． ATR503文 2音素連鎖402種と3音素連鎖223種計625種をバランス良く含む． 磯健一，渡辺隆夫，桑原尚夫「音声データベース用文セットの設計」音講論（春） pp. 89-90 (1988.3). 匂坂芳典，浦谷則好「ATR音声・言語データベース」音響誌，48巻, 12号, pp. 878-882 (1992). ATR216語 3モーラ以上から成り，可能な２音韻の連鎖をすべて含む． 武田一哉，匂坂芳典，片桐滋，桑原尚夫「研究用日本語音声データベースの構築」音響誌，44巻, 10号, pp. 747-754 (1988). 電総研492/1542語 VCV等の３音素並びをできるだけ少ない語数でバ

  • 学び
  • 2012/07/17 17:26
• あとで読む

  グランドチャレンジデータ公開用ページ

  3 users

  research.nii.ac.jp

  グランドチャレンジデータ公開用ページ このページは，NIIグランドチャレンジ「情報環境を支える日常的インタラクションデータ収録のためのプラットフォーム構築」(2009–2011)の研究成果を公開するためのページです． 人々のインタラクション研究のための収録ノウハウの掲載と，サンプルデータの配布を目的とします．

  • 暮らし
  • 2012/04/06 12:57
• あとで読む

  グランドチャレンジデータ公開用ページ

  4 users

  research.nii.ac.jp

  グランドチャレンジデータ公開用ページ このページは，NIIグランドチャレンジ「情報環境を支える日常的インタラクションデータ収録のためのプラットフォーム構築」(2009–2011)の研究成果を公開するためのページです． 人々のインタラクション研究のための収録ノウハウの掲載と，サンプルデータの配布を目的とします．

  • 学び
  • 2012/04/05 19:45

  • communication
• あとで読む

  スタッフスケジューリング（勤務表作成）

  5 users

  research.nii.ac.jp/~uno

  楽々簡単！ 20分でできる勤務表(半)自動作成ツール 勤務表（勤務スケジュール）とは、サービス業などスタッフが常時一定数勤務する必要がある職場で、だれがいつ働くかを書いた表です。コンビニや病院、広くは鉄道や守衛など非常に幅広い業務で使われています。この勤務表を作る作業を、勤務表作成とか、スタッフスケジューリングと言います。 もし、働く人がある程度均質で、人手が十分に足りているなら、勤務表作成はそれほど難しくありません。適当なローテーションを決めて、それをくるくると回して順番を決めればいいからです。ところが、普通、そうはいきません。人手不足に加え、夜勤や高い技術が必要な勤務ができないアルバイトなどの職種の人がいたり、スタッフの休日の希望があったり、1週間に1日は休日があるべき、夜勤が連続するのは良くない、といった勤務形態の制約があったり、といろいろな条件がつきます。なるべく希望をかなえるよう

  • 世の中
  • 2012/02/10 19:58
• あとで読む

  VDM++による形式仕様記述

  11 users

  research.nii.ac.jp/~f-ishikawa

  近代科学社より出版されている書籍「VDM++による形式仕様記述」のWebサイトです．VDMToolsやOverture（Eclipseベースのツール）の利用法なども載せています． Amazonへのリンク（紹介文を下記に引用） 機能仕様書の曖昧さ、不正確さ、不整合などに起因する手戻りに悩まされている開発者、近年話題となっている形式手法をまずは手軽なところから学び実際に使ってみたい開発者・大学院生・研究者へ！ 一般の開発者になじみやすい形で、仕様をはじめとした開発上流の成果物を厳密に（ただし抽象的に）記述し、様々な分析を行いそれらの品質確保に取り組む形式仕様記述手法である VDM（Vienna Development Method）の具体的かつ網羅的な入門書、解説書。 更新履歴 2017/6/1： VDMToolsのWebサイト変更に伴いリンクを張り替えました． 2011/11/10： 7章の

  • テクノロジー
  • 2011/07/15 00:04

  • 形式手法
  • development
  • book
  • VDM
• あとで読む

  Papers on JURIS-INFORMATICS

  3 users

  research.nii.ac.jp/~ksatoh

  as of Jaunary 22, 2013 下の論文タイトルをクリックすると本体を見ることができます。 (You can download papers by clicking the title). 見れない場合は、ksatoh at nii.ac.jpまで依頼いただければお送ります。 (If you cannot download a paper, please request me by sending an email to "ksatoh at nii.ac.jp". I will send the papers to you by email within 24 hours.). JURIS-INFORMATICS: General Perspective Satoh, K., ``Logic Programming and Burden of Proof in Logic

  • テクノロジー
  • 2011/06/04 15:13

  • ソフトウェア
• あとで読む

  NTCIR-9

  3 users

  research.nii.ac.jp

  The NTCIR-9 Workshop Meeting ended successfully. Thank you for your participation, cooperation and interest. Anybody who are interested in the researches and development in IR and other information access technologies and their evaluation are welcome to join NTCIR-9 Meeting and EVIA regardless of participation of the evaluation task(s) set by the NTCIR-9 organizers. There are no differences betwee

  • 暮らし
  • 2011/01/06 09:45
• あとで読む

  http://research.nii.ac.jp/~hu/pub/teach/cm08/lambda.pdf

  6 users

  research.nii.ac.jp/~hu

  • 学び
  • 2010/10/18 04:30

  • slide
• あとで読む

  2005年度人工知能学会全国大会・原稿テンプレート

  4 users

  research.nii.ac.jp/~uno

  The 22nd Annual Conference of the Japanese Society for Artificial Intelligence, 2008 頻出パターン発見アルゴリズム入門 － アイテム集合からグラフまで － An Introduction to Frequent Pattern Mining – Itemsets to Graphs - 宇野 毅明*1 有村 博紀*2 Takeaki Uno Hiroki Arimura *1 国立情報学研究所・総合研究大学院大学 *2 北海道大学大学院情報科学研究科 National Institute of Informatics, Hokkaido University, Graduate School for The Graduate University for Advanced Studies Informati

  • テクノロジー
  • 2010/06/23 12:11

  • 機械学習
• あとで読む

  K.K's page

  4 users

  research.nii.ac.jp/~k_keniti

  Welcome to my homepage !! Ken-ichi Kawarabayashi (Ph. D) Professor, National Institute of Informatics E-mail: k_keniti_at_nii.ac.jp Research Interests: Discrete Math and Theoretical Computer Science. More precisely, Graph theory, Combinatorics and Algorithm, Also Scalable Algorithm, Combinatorial Optimization and its application to Machine Learning, Theoretical analysis of Deep Learning Curriculum

  • テクノロジー
  • 2010/06/18 17:59

  • エンジニア
  • ブックマーク バー
  • 研究
• あとで読む

  最適化 (研究者向けの解説)

  7 users

  research.nii.ac.jp/~uno

  最適化 最適化とは、与えられた条件の中で、いろいろな選択肢の中から一番良いものを選ぶ問題の総称です。問題は数理的に与えて、数理的な方法で解きます。具体的には、n次元の実数ベクトル x (n個の数字の組：変数といいます)で、与えられた不等式・論理式など条件を全て満たすものの中で、ある、関数 f(x) (目的関数といいます)を最大にするようなものを求める、という問題です。世の中、数字で与えられるものばかりではない、とは思いますが、例えば、距離や、値段、時間などは数値で表せますし、ある事柄をやる／やらない、物を買う／買わないなどの選択も、0,1 の数字で表すことができます。 簡単な例を見てみましょう。今、あるとても広い長方形の土地のどこかに、ごみ処理場を作る計画があるとします。ただ、場所は決まっていません。土地の中には n 軒の家があります。どの家の人も、近くにごみ処理場があるといやなので、なる

  • テクノロジー
  • 2010/05/28 04:16
• あとで読む

  http://research.nii.ac.jp/~hu/pub/ipsj05.pdf

  3 users

  research.nii.ac.jp/~hu

  • 学び
  • 2009/10/17 10:15
• あとで読む

  Symposium 2009

  9 users

  research.nii.ac.jp

  これからのグローバル社会では言語の障壁を取り除くことが求められます。 それに対処するため自然言語・ 音声処理・情報検索・情報アクセスの研究が進められています。 これらの研究には，言語・音声データの利用が 必要不可欠です。 日本では言語・音声データに関する組織・プロジェクトが幾つか並立して事業を進めています。 本シンポジウムでは，その関係者が一同に会し， 言語・音声データに関する現状を紹介するとともに， パネル討論で今後どのように進むべきかを探ります。

  • 世の中
  • 2009/08/24 20:01

  • イベント
  • language
  • Japanese
  • Research
  • Event

次のページ