- 2 209
- 2 044 306
国立情報学研究所 - National Institute of Informatics
Japan
Приєднався 20 тра 2013
情報学という新しい学問分野での「未来価値創成」を目指すわが国唯一の学術総合研究所『国立情報学研究所』のUA-camチャンネルです。
本研究所の講演や研究紹介の映像をご覧いただけます。
本研究所の講演や研究紹介の映像をご覧いただけます。
NII研究100連発出演者紹介／2024年7月31日（水）12:30 一橋講堂にて開催！
【7月31日（水）12:30-14:00開催！】NII研究100連発
普段は時間をかけて深く語られる研究を、研究者が7分半で駆け抜ける「NII研究100連発」。10人の研究者がそれぞれ10のプロジェクトを紹介し、合計100の発見を短時間でお届けします。このユニークな形式は、研究者の情熱や個性が垣間見える貴重な機会。NIIの多様な研究を通じて、新しい発見や普段は目にすることのない面白い研究に出会いましょう。
NIIの研究の面白さとその魅力にあなたも触れてみませんか？
▼開催概要
日時：2024年7月31日（水）12:30-14:00
会場：一橋講堂（千代田区一ツ橋2-1-2）、オンライン中継
▼参加・視聴方法
現地参加の方：以下よりお申し込みください
event.nii.ac.jp/event/8890
オンライン参加の方：UA-camLiveや以下のサイトからご視聴いただけます
event.nii.ac.jp/event/8890/module/booth/249956/206468
▼関連イベント
国立情報学研究所 コンピュータサイエンスパーク2024
2024年7月31日（水）10:00-16:30
普段は時間をかけて深く語られる研究を、研究者が7分半で駆け抜ける「NII研究100連発」。10人の研究者がそれぞれ10のプロジェクトを紹介し、合計100の発見を短時間でお届けします。このユニークな形式は、研究者の情熱や個性が垣間見える貴重な機会。NIIの多様な研究を通じて、新しい発見や普段は目にすることのない面白い研究に出会いましょう。
NIIの研究の面白さとその魅力にあなたも触れてみませんか？
▼開催概要
日時：2024年7月31日（水）12:30-14:00
会場：一橋講堂（千代田区一ツ橋2-1-2）、オンライン中継
▼参加・視聴方法
現地参加の方：以下よりお申し込みください
event.nii.ac.jp/event/8890
オンライン参加の方：UA-camLiveや以下のサイトからご視聴いただけます
event.nii.ac.jp/event/8890/module/booth/249956/206468
▼関連イベント
国立情報学研究所 コンピュータサイエンスパーク2024
2024年7月31日（水）10:00-16:30
Переглядів: 275
Відео
【GakuNin RDMユーザーマニュアル】他の機関に所属していて、既にGakuNin RDMのアカウントを取得している方を、ユーザーのGUIDを用いて、当該プロジェクトへ追加する際の手順説明
Переглядів 5414 днів тому
国立情報学研究所が提供する研究データ管理システム「GakuNin RDM」において、他の機関に所属していて、既にGakuNin RDMのアカウントを取得している方を、ユーザーのGUIDを用いて、当該プロジェクトへ追加する際の手順について説明いたします。 ◆GakuNin RDMサポートポータル＞ユーザーマニュアル support.rdm.nii.ac.jp/usermanual/ ◆GakuNin RDMへのログイン rdm.nii.ac.jp/
【GakuNin RDMユーザーマニュアル】同じ機関に所属していて、既にGakuNin RDMのアカウントを取得している方を、当該プロジェクトへ追加する際の手順説明
Переглядів 3314 днів тому
国立情報学研究所が提供する研究データ管理システム「GakuNin RDM」において、同じ機関に所属していて、既にGakuNin RDMのアカウントを取得している方を、当該プロジェクトへ追加する際の手順について説明いたします。 ◆GakuNin RDMサポートポータル＞ユーザーマニュアル support.rdm.nii.ac.jp/usermanual/ ◆GakuNin RDMへのログイン rdm.nii.ac.jp/
【GakuNin RDMユーザーマニュアル】メタデータ管理機能
Переглядів 6614 днів тому
国立情報学研究所が提供する研究データ管理システム「GakuNin RDM」のメタデータ管理機能について説明いたします。 ◆GakuNin RDMサポートポータル＞ユーザーマニュアル support.rdm.nii.ac.jp/usermanual/ ◆GakuNin RDMへのログイン rdm.nii.ac.jp/
【GakuNin RDMユーザーマニュアル】プロジェクトの整理（リンク機能）
Переглядів 3214 днів тому
国立情報学研究所が提供する研究データ管理システム「GakuNin RDM」のプロジェクトの整理（リンク機能）について説明いたします。 ◆GakuNin RDMサポートポータル＞ユーザーマニュアル support.rdm.nii.ac.jp/usermanual/ ◆GakuNin RDMへのログイン rdm.nii.ac.jp/
デジタルアーカイブ×メタデータ勉強会 要点まとめ
Переглядів 44221 день тому
デジタルアーカイブ×メタデータ勉強会 要点まとめ 図書館システム・ネットワーク ユーザーグループイベント「デジタルアーカイブ×メタデータ勉強会 #1」よりデジタルアーカイブ×メタデータ勉強会の要点をまとめました。 ・これまでのあゆみ ・デジタルアーカイブのメタデータ流通のルート紹介 ・現状の課題共有 デジタルアーカイブ×メタデータ勉強会では、多くの機関のデジタルアーカイブに関する事例の共有や蓄積を通して、課題解決に向けた模索をしています。 各機関のデジタルアーカイブに関わりのある方や興味のある方の積極的なご参加をお待ちしております。 本編URL：ua-cam.com/video/rejTZt7gId0/v-deo.html
デジタルアーカイブ×メタデータ勉強会 #1
Переглядів 45121 день тому
図書館システム・ネットワーク ユーザーグループイベント 「デジタルアーカイブ×メタデータ勉強会 #1」 デジタルアーカイブのメタデータの取り扱いについて、広く使ってもらうにはどうしたら良いのか。どうやって情報を集約したら良いのか、そもそもどうやってメタデータを作っていけばいいのか等の困りごとを共有し、より良い解決策を模索していくため、勉強会（シリーズ）第１回を実施しました。 日時：5月21日（火） 10時30分～12時00分 ＭＣ： 福島幸宏（慶応義塾大学） 江上敏哲（人間文化研究機構 国際日本文化研究センター） 内容： ここまでの歩み 事例紹介（国際日本文化研究センター「浪曲SPレコードデジタルアーカイブ」） 情報交換 図書館システム・ネットワーク「ユーザーグループ」とは： 図書館関係者が学術情報資源の基盤構築、管理、共有および提供にかかる活動を推進するための意見交換をす...
「産学連携事例紹介～自動車が危険に至るシナリオを時相論理で形式化～」上田 直樹 三菱電機株式会社：オープンハウス2024 産官学連携セミナー
Переглядів 230Місяць тому
「産学連携事例紹介～自動車が危険に至るシナリオを時相論理で形式化～」上田 直樹 三菱電機株式会社 情報技術総合研究所 情報ネットワークシステム技術部 トラステッドシステム技術グループ 研究員 ISO 34502ではテストシナリオに基づく自動運転車の安全性評価手法が示されている。本規格では自然言語によるテストシナリオの記述が想定されているが、自然言語による記述は人によって解釈の違いが発生し得る。そこで、三菱電機では国立情報学研究所と共同研究し、テストシナリオを時相論理で形式化することでテストシナリオの記述の曖昧さを排除する手法の検討に取り組んでいる。本発表では、これまでの共同研究での取り組み概要や研究成果について紹介する。 オープンハウス2024 産官学連携セミナー：製造業の現場と自動運転の未来を支えるソフトウェア技術 国立情報学研究所（NII）は情報学分野の研究と情報基盤事業に取り組...
「国立情報学研究所活動報告」黒橋 禎夫 国立情報学研究所長：オープンハウス2024
Переглядів 3,7 тис.Місяць тому
■国立情報学研究所オープンハウス2024 「国立情報学研究所活動報告」 黒橋 禎夫 国立情報学研究所長 国立情報学研究所オープンハウス2024は、リアル会場をメインとしたハイブリッド形式での開催となります。オープンハウス開催にあたってのご挨拶、ならびに本研究所の取り組みを、黒橋所長からご紹介します。 ■国立情報学研究所オープンハウス2024 国立情報学研究所は、多岐にわたる最先端の情報学研究と、大学や研究機関へのネットワークやデータベースなどのプラットフォームの提供、この２つを両輪として活動しています。 オープンハウスは、年に一度開催する研究成果発表・一般公開で、直接、研究者から最新の研究成果を聞くことができるデモ・ポスターセッションのほか、最新の情報学研究の講演やセミナーを開催しています。 www.nii.ac.jp/event/openhouse/2024/
「AIセーフティへの政府の取り組み」AIセーフティ・インスティテュート 副所長・事務局長 平本健二：オープンハウス2024基調講演
Переглядів 313Місяць тому
■国立情報学研究所オープンハウス2024基調講演「生成AIと安全性」 「AIセーフティへの政府の取り組み」 AIセーフティ・インスティテュート 副所長・事務局長 平本 健二 ＡＩの技術開発が急速に進むとともに活用が進み、社会構造に大きな影響を与えるとともに、リスクに関する指摘がされています。そうした中で、ＡＩ社会の実現に向けては、イノベーションとセーフティをバランスよく進めていく必要があります。ＡＩセーフティに関する政府の取り組み及びＡＩセーフティインスティテュート（ＡＩＳＩ）の取り組みを解説いたします。 ■国立情報学研究所オープンハウス2024 国立情報学研究所は、多岐にわたる最先端の情報学研究と、大学や研究機関へのネットワークやデータベースなどのプラットフォームの提供、この２つを両輪として活動しています。 オープンハウスは、年に一度開催する研究成果発表・一般公開で、直接、研究者か...
「マツダ Driver Emergency Assist システムの紹介～MAZDA CO-PILOT CONCEPT実現に向けて」吉岡 透 マツダ株式会社：オープンハウス2024 産官学連携セミナー
Переглядів 159Місяць тому
「マツダ Driver Emergency Assist （DEA）システムの紹介～MAZDA CO-PILOT CONCEPT実現に向けて～」 吉岡 透 マツダ株式会社 統合制御システム開発本部 エキスパートエンジニア ドライバ異常時対応システムの狙い・機能とその検証工程について、安全思想と合わせて説明し、システムの安全論証の難しさにも触れる。 オープンハウス2024 産官学連携セミナー：製造業の現場と自動運転の未来を支えるソフトウェア技術 国立情報学研究所（NII）は情報学分野の研究と情報基盤事業に取り組んでおり、社会が抱える課題を解決する実践的な研究開発の推進を目指しています。そのためには産官学の連携が不可欠であり、一層の連携強化のため、NIIが有する多様な研究者の研究成果あるいは取組み課題の産・官へ向けた継続的な発信を行っています。 本セミナーは企業等と活発に連携している研究...
「重要インフラに対する形式手法に基づく高信頼性制御システムの開発事例」髙尾 健司 三菱重工株式会社：オープンハウス2024 産官学連携セミナー
Переглядів 139Місяць тому
「重要インフラに対する形式手法に基づく高信頼性制御システムの開発事例」 髙尾 健司 三菱重工株式会社 総合研究所 知能化機械研究推進部 機械システム研究室 主席研究員 三菱重工では、多くの重要インフラ(発電、航空宇宙、防衛、交通、物流など)に関連する製品・システムを提供している。それらの製品に要求される高い信頼性に応えるために、三菱重工総合研究所では、設計プロセスに応じた様々な形式手法に基づくアルゴリズム/設計検証を実施している。その中で、国立情報学研究所と共同研究で取り組んだ、自動検証技術Falsificationを応用したパラメータ探索技術の事例を紹介する。 オープンハウス2024 産官学連携セミナー：製造業の現場と自動運転の未来を支えるソフトウェア技術 国立情報学研究所（NII）は情報学分野の研究と情報基盤事業に取り組んでおり、社会が抱える課題を解決する実践的な研究開発の推進を...
「自動運転の安全性証明技術／論理学による製造業DX」蓮尾 一郎 NII アーキテクチャ科学研究系 教授：オープンハウス2024 産官学連携セミナー
Переглядів 205Місяць тому
「自動運転の安全性証明技術／論理学による製造業DX」 蓮尾 一郎 NII アーキテクチャ科学研究系 教授 製造業のデジタル化を支援するため、数理論理学に基づく製品設計・品質保証技術を開発してきた。この技術の応用例として、自動運転車の数学的な安全性証明がある。ソフトウェア科学に基づくこれら技術群とその研究開発状況、そして要求仕様の活用において数学がどのような役割を果たしうるか、解説する。 オープンハウス2024 産官学連携セミナー：製造業の現場と自動運転の未来を支えるソフトウェア技術 国立情報学研究所（NII）は情報学分野の研究と情報基盤事業に取り組んでおり、社会が抱える課題を解決する実践的な研究開発の推進を目指しています。そのためには産官学の連携が不可欠であり、一層の連携強化のため、NIIが有する多様な研究者の研究成果あるいは取組み課題の産・官へ向けた継続的な発信を行っています。 本...
「AI・自動運転の品質・安全性エンジニアリングのための自動探索技術」石川 冬樹 NII アーキテクチャ科学研究系 准教授：オープンハウス2024 産官学連携セミナー
Переглядів 85Місяць тому
「AI・自動運転の品質・安全性エンジニアリングのための自動探索技術」 石川 冬樹 NII アーキテクチャ科学研究系 准教授 AIや自動運転など挙動や動作環境が複雑なシステムにおいては、その品質や安全性のための設計や評価テストも難しくなっている。本講演では、メタヒューリスティック最適化を用いた自動探索によるテスト生成や深層学習モデル修正について、動向や産学連携の成果を紹介する。 オープンハウス2024 産官学連携セミナー：製造業の現場と自動運転の未来を支えるソフトウェア技術 国立情報学研究所（NII）は情報学分野の研究と情報基盤事業に取り組んでおり、社会が抱える課題を解決する実践的な研究開発の推進を目指しています。そのためには産官学の連携が不可欠であり、一層の連携強化のため、NIIが有する多様な研究者の研究成果あるいは取組み課題の産・官へ向けた継続的な発信を行っています。 本セミナーは...
「開会・情報学コース概要説明／出願方法について」武田 英明 情報学コース長・教授：オープンハウス2024 総合研究大学院大学 情報学コース説明会
Переглядів 285Місяць тому
「開会・情報学コース概要説明／出願方法について」武田 英明 情報学コース長・教授：オープンハウス2024 総合研究大学院大学 情報学コース説明会
「Introduction of Student life」Kaneko Lab. WANG Jiali ：オープンハウス2024 総合研究大学院大学 情報学コース説明会
Переглядів 79Місяць тому
「Introduction of Student life」Kaneko Lab. WANG Jiali ：オープンハウス2024 総合研究大学院大学 情報学コース説明会
「学生生活紹介」蓮尾研究室 佐藤 創太：オープンハウス2024 総合研究大学院大学 情報学コース説明会
Переглядів 99Місяць тому
「学生生活紹介」蓮尾研究室 佐藤 創太：オープンハウス2024 総合研究大学院大学 情報学コース説明会
Introduction to the National Institute of Informatics (NII) in Japan
Переглядів 98Місяць тому
Introduction to the National Institute of Informatics (NII) in Japan
「大学・高専機能強化支援事業の概況と課題」安浦 寛人 国立情報学研究所 副所長／学術基盤チーフディレクター
Переглядів 180Місяць тому
「大学・高専機能強化支援事業の概況と課題」安浦 寛人 国立情報学研究所 副所長／学術基盤チーフディレクター
「LLMは学生評価のパートナー」石田 亨 香港バプティスト大学客員教授, Dr Kennedy Wong Distinguished Visiting Professor
Переглядів 192Місяць тому
「LLMは学生評価のパートナー」石田 亨 香港バプティスト大学客員教授, Dr Kennedy Wong Distinguished Visiting Professor
「サイバー大学におけるマイクロクレデンシャルの活用事例」川原 洋 株式会社 サイバー大学 代表取締役 兼 学長
Переглядів 245Місяць тому
「サイバー大学におけるマイクロクレデンシャルの活用事例」川原 洋 株式会社 サイバー大学 代表取締役 兼 学長
「大学経営とＤＸ」青木 孝文 東北大学 理事・副学長（企画戦略総括、プロボスト、CDO）/大学ICT推進協議会（AXIES）会長
Переглядів 3483 місяці тому
「大学経営とＤＸ」青木 孝文 東北大学 理事・副学長（企画戦略総括、プロボスト、CDO）/大学ICT推進協議会（AXIES）会長
「大学等におけるデジタル分野等の成長分野の人材育成について」梅原 弘史 文部科学省 高等教育局 専門教育課長
Переглядів 2793 місяці тому
「大学等におけるデジタル分野等の成長分野の人材育成について」梅原 弘史 文部科学省 高等教育局 専門教育課長
「小規模地方大学の課題と挑戦」下條 真司 青森大学 ソフトウェア情報学部 教授
Переглядів 3623 місяці тому
「小規模地方大学の課題と挑戦」下條 真司 青森大学 ソフトウェア情報学部 教授
「画像と文章の先へ ― AIで新しい人流の世界を生成する」水野 貴之 - 国立情報学研究所 2023年度 市民講座 第6回
Переглядів 8013 місяці тому
「画像と文章の先へ ― AIで新しい人流の世界を生成する」水野 貴之 - 国立情報学研究所 2023年度 市民講座 第6回
「フェイクから身を守るには？―創るAI vs 守るAI」越前 功 - 国立情報学研究所 2023年度 市民講座 第4回
Переглядів 9264 місяці тому
「フェイクから身を守るには？―創るAI vs 守るAI」越前 功 - 国立情報学研究所 2023年度 市民講座 第4回
43:29 ここからがメインコンテンツ(笑)。
例えなのはわかるが、スパゲッティとサンドイッチがあまりいい組み合わせではないなんて、あんまりだ
復号化 → 復号
UA-camの字幕機能をONにすると、日本語字幕（校正済み）をみることができます。
UA-camの字幕機能をONにすると、日本語字幕（校正済み）をみることができます。
UA-camの字幕機能をONにして、日本語を選択すると日本語字幕（校正済み）を見ることができます。
お姉さんに教えてあげたい…
5:56AI
2:19目次24:30🦔進歩40:19🇨🇬今後43:35シンギュラリティ46:29🦋心(意識)49:14まとめ
頑張ってください！
観測可能な連結成分の割合は、センサーの数の割合がゼロじゃなくなると途端に立ち上がるのですね（検証に用いたグラフの特殊性によるのでしょうか）。パーコレーションらしく、ゼロでない（もう少し大きい）ところで転移を見せるネットワークもあるんでしょうか。
電子の波長は、電磁ポテンシャルAiによって、 長くすることができる。（AB効果、またはDiracの置換え） そうなると、電子の運動量は小さくなり、 p=h/λ ボース・アインシュタイン凝縮を誘発する。 これを応用して、エネルギーを作ることができる。 UA-cam → 「簡単フリーエネルギー（ハバードコイル）」
MLBの最適日程は老夫婦 ヘンリー・スチーブンソン が作っていてMLBのソフトはそれに勝てなかったという報告がありますが、 コレなら勝てるのかな。最短パスが最短日程とは すごいね。
兄ちゃん、あんた日本語うまいな。しかし、さっぱりわからん。超流動のことを言うとるんか？しかしあやしい。ボーズは偉いが、じいさんはぺてん師やからな。信用出来ん。他に説明できる理論があるんやないか？
熱い
問１． 慣性運動する質量１kgの物体が衝突したとき1kgfの力 (F)を発生する ための速度(ｖ)を求めよ。 物体は自由落下直後に無限大の加速度から徐々に加速度を減らし、一定の加速度（9.8m/s^2）になる。すると静止しているときは無限大の加速度である。 この問題はこれまでのニュートン物理学や相対性理論では解けないかもしれない。量子力学で解けないものか。
BEC's were not "predicted by Bose and Einstein" - they were predicted by Einstein. period. He published independently. Bose simply re-hashed Plank statistics - same exact relation, same derivation.
why do quantum computers need to be based on the planet. Why not put them on satellites and magnetically shield them so that the extreme cold of space will provide the absence of thermo energies and sound.
Brady Bellard not cold enough?
Well, you'll have to protect them from high-energy particles which are no longer shielded by the Earth's atmosphere
お姉さん動画を流すところで吹く
Edit. Seriously. The Uhhh and uhmss hurt you.
ICML2014, cong~
スイカ＆パスモも電子マネーの一形態・・ 今回の消費税引き上げで運賃を１０円刻みと一円刻みの２ＷＡＹとなった どうなるなあ？
こういうの大好き～♪アルゴリズム～♪
Cool