1 セッション
目次 1. 会場 1 2. フロアマップ 1 3. 特別招待講演 1 4. 招待講演 2 5. パネルディスカッション 2 6. ポスターセッション 2 7. オーサーズコーナー 2 8. イブニングセッション 3 9. 商業展示 コマーシャルセッション Luncheon Seminar
... 8. イブニングセッション · · · · · · · · · · · · · · · · · · · · · · · 3 9. 商業展示・コマーシャルセッション · · · · · · · · · · · · 3 10. Luncheon Seminar · · · · · · · · · · · · · · · · · · · · · · · · · · · 3 11. 参加費 · · · · · · · ...
7
Microsoft Word - セッション1(表紙）
... 3-8) ロジックツリー作成におけるTI,TFI,専門家の責任の範囲（6.5.6） 3-9) 地震動ハザード概略評価及び内訳表示とスクリーニング （6.6.2） 3-10) M9級巨大地震の余震の地震動ハザード （6.6.5） 3-11) 免震型構造物、排気搭を対象とした場合の留意事項 （6.7.6） 3-12) 複数プラントにおけるハザード評価の留意事項 （6.8） 4) 断層変位・地殻変動及び複合ハザード評価での主な追加項目 ...
20
PDFファイル 3O1 「インタラクティブセッション」
... 図 1 に Scarab の構成図を示す．もっとも基本的な Scarab の処理の流れは次のようになる . まずユーザが Scala と Scarab DSL を用いて記述したプログラム (Scarab プログラム ) によっ て CSP オブジェクトが生成される．次に Scarab プログラムに よって CSP ソルバーが API を通して呼ばれた時に， CSP オ ブジェクトは SAT ...
4
PDFファイル 3O1 「インタラクティブセッション」
... 定理 1 は，ブール関数の充足可能性がフーリエ表現におけ る非ゼロフーリエ係数と密接に関係することを示唆している． 実際，フーリエ表現におけるブール関数の記述長は非ゼロフー リエ係数の個数である t 値に相当するが， CNF 表現における 記述長である節数はすでに制約密度などの SAT 問題の難しさ を特徴づける重要なパラメータとして理解されている．しかし ながら， t 値を用いて SAT 問題の特徴を解析する研究は筆者 ...
4
PDFファイル 3O1 「インタラクティブセッション」
... The 28th Annual Conference of the Japanese Society for Artificial Intelligence, 2014.. 1D5-OS-11b-4in.3[r] ...
4
PDFファイル 3O1 「インタラクティブセッション」
... ∗1 山梨大学医学工学総合教育部コンピュータ・メディア工学専攻 Computer Science and Media Enginnering，Department of Education Interdisciplinary Graduate School of Medicine and Engineering，University of Yamanashi ∗2 山梨大学医学総合研究部 ...
4
PDFファイル 3O1 「インタラクティブセッション」
... ナイーブ法 ZTDD 法 提案手法 Time (sec) Mem (MB) Time (sec) Mem (MB) Time (sec) Mem (MB) c432 10.8 1750 3.3 1700 3.1 594 c499 20.6 1762 3.1 1732 4.3 678 c880 timeout 1965.5 42162 791.5 11017 c1355 105.9 1995 9.6 2081 ...
2
PDFファイル 3O1 「インタラクティブセッション」
... 2.3 小学生を対象 た実践利用結果分析 学校 6 生 75 対 特徴的 構造 妥当 う 検 証 実 践 利 用 行 わ 結果 現 学生 構造形式 推移 図 7 示 図 7 示 う 他 構造 比べ 特徴的 構造 主 出 現 い わ 理 論 他 割合 物 語 形 求 答 形 積 和 標 準 形 他 構 造 確 率 出 現 場合 割合 示 い 図 7 問題 3-1 例 見 場合 問題 3-1 他 構造 数 11 ...
4
PDFファイル 3O1 「インタラクティブセッション」
... 調整方法の提案と認知科学的評価，情報処理学会研究報告． GI ， [ ゲ 情報学 ] ， pp.1-7(2013) ． [ 保木 2006] 保木邦仁 : 局面評価 学習を目指 索結果 最適制御，第 11 回 プ ン ワ ップ 2006 ， ...
2
PDFファイル 3O1 「インタラクティブセッション」
... The 28th Annual Conference of the Japanese Society for Artificial Intelligence, 2014 図 4: Q = 10, B = 400, ∀c i = 1, T ∈ {40, 80, 400} としたと きの Algorithm 1 の結果 の BLMAB モデルと同様に，予算が多いほど良い結果が得ら ...
4
PDFファイル 3O1 「インタラクティブセッション」
... On the retrieval of Linked Open Data using SPARQL, it is not an easy task to construct a proper query considering costs of the query execution4. A wrongly formed query causes enormous co[r] ...
4
PDFファイル 3O1 「インタラクティブセッション」
... 3. 対話の手がかりとしての Linked Data 3.1 対話における Linked Data の役割 ユーザインタビューによって得られた知見を通して，土産話 を話す場合，話し手と聞き手が持つ情報は非対称であり，話し 手からは，主観的かつ断片的な体験情報が一方向的に語られる 傾向にあると示唆されている [ 月川 13] ．そこで，客観的な情 報 (e.g., 観光地や名産品などの旅先に関する情報 ) を提示する ...
4
PDFファイル 3O1 「インタラクティブセッション」
... ．図 1 のようなユーザインタフェース を用い，各主体が社会課題と解決目標を入力する．目標データ の入力の際は，そのタイトルと説明，参加者，部分目標，上位 目標，関連する課題，関連する記事，関連する地域などを紐付 けることができる．関連する地域データへの紐付けには，日本 国内の地域については GeoNLP 開発チーム [Kitamoto 12] が 提供する GeoLOD ∗2 を用い，他国については Geonames ...
4
PDFファイル 3O1 「インタラクティブセッション」
... 広島大学附属 学校 Graduate School of Engineering, Hiroshima University Elementary School Attached to Hiroshima University We have developed an interactive learning environment for problem-posing by one-step addition or ...
4
PDFファイル 3O1 「インタラクティブセッション」
... services that have more than 10 million users, so that we can optimize their visual contents moderation effort. In this report, we are going to describe how we are significantly reducing visual contents moderation cost ...
2
PDFファイル 3O1 「インタラクティブセッション」
... 1. はじめに 情報技術の発展に伴い大量のデータの蓄積・閲覧が可能と なった近年では，ユーザが情報を取捨選択する必要がある．そ のため，重要度の高い情報ほど選択されやすくするための情報 検索や，膨大な情報の中から効率良く内容を把握するための自 動要約において，より高精度な技術の必要性が高まっている． また新聞などにおいても，１つの話題に関して複数の記事が存 在することや長期的に書かれていることから，情報量が膨大で ...
2
PDFファイル 3O1 「インタラクティブセッション」
... 3.1 Conditional Random Fields 本稿では誤り検出モデルを，音声認識結果に付与された複 数の情報から，各単語に対して正解か誤りかのラベルを付与 し て い く 系 列 ラ ベ リ ン グ 問 題 と 考 え ， Conditional Random Fields(CRF) [3] でモデル化する． CRF を用いた誤り検出モ デルは，音声認識結果とそれに対応する書き起こしデータを用 ...
4
PDFファイル 3O1 「インタラクティブセッション」
... 1. はじめに 機械学習は，音声や文字などのパターン認識，メールクライ アントのスパムフィルタ，医療診断など実社会において様々な 場面に使われている．機械学習で用いられるものの一つである ロジスティック回帰は， “ はい ”， “ いいえ ”など出力が 2 値で 表わされるデータを用い， SVM と並んでよく使われる代表的 な識別モデルによる分類手法である． ...
4
PDFファイル 3O1 「インタラクティブセッション」
... うと，多くの場合で比較不可能となる．そのため，優越関係を 用いて個々の個体にランクを割り当てるランキングという操作 を行う． NSGA-II のランキングでは，はじめに，現在の個体 群の中でほかの個体に優越されない非劣個体に対してランク 1 ...
4
PDFファイル 3O1 「インタラクティブセッション」
... 輸多目的衛星ひまわり MTSAT-1,2 （ひまわり 6 ， 7 ）の IR1 画像を 2012 年 9 月から 12 月までの 2914 枚を用いた。画像 からは２週間の基準時系列を取得し，時系列画像から抽出した 様々な位置，開始時間の時系列から取得した部分時系列を参照 時系列とし，その相関係数を計算し，正の相関，負の相関の高 い箇所を可視化するものとした。なお，可視化の部分は現在は ...
3