国立情報学研究所総合スレッド

**名無しさん＠お腹いっぱい。** · 2013/09/07(土) 21:54:18.85

国立情報学研究所 (National Institute of Informatics)

国立情報学研究所は、情報学という新しい研究分野での「未来価値創成」を目指す
わが国唯一の学術総合研究所として、ネットワーク、ソフトウェア、コンテンツなどの
情報関連分野の新しい理論・方法論から応用展開までの研究開発を総合的に推進
しています。

公式ウェブサイト
http://www.nii.ac.jp/

公式ウェブサイト（英文）
http://www.nii.ac.jp/en/

**名無しさん＠お腹いっぱい。** · 2018/07/13(金) 02:19:26.09

ユニークで個性的な在宅ワーク儲かる方法
興味がある人はどうぞ
検索してみよう『立木のボボトイテテレ』

26E

**名無しさん＠お腹いっぱい。** · 2022/07/14(木) 13:48:16.56

このスレもう書けない？

**名無しさん＠お腹いっぱい。** · 2022/07/14(木) 13:50:10.84

国立情報学研究所、自動運転車の安全性を数学的に証明する手法を開発

リンク貼りは禁止かよ、腐った板だなあ

**名無しさん＠お腹いっぱい。** · 2022/07/14(木) 13:52:12.64

全文や図は自力で検索せよ

＞情報・システム研究機構国立情報学研究所（以下：NII）の蓮尾一郎教授らは、車の自動運転システムの安全性に強い数学的保証を与える技術と基礎理論を明示した。
＞自動運転のような複雑なシステムの安全性を数学的に証明することは一般的に困難だが、RSSは交通安全のためのルールを数式で書き表すことによって、自動運転車の安全性を数学的に証明するという。RSSで示した論理的安全ルールは、メーカー・車種問わず、国際規格や業界標準・交通法規として活用できるため、自動運転の社会受容を大きく加速すると期待されている。
＞RSSは技術的な基盤が発達しておらず、単純な運転シナリオに対する衝突回避のみをターゲットとしていたが、新たな拡張であるGA-RSSを提案した。GA-RSSは、dFHL（differential Floyd-Hoare logic、微分フロイド・ホーア論理）を提案し、論理的安全ルールの導出ワークフローとソフトウェアサポートを設計・実装。「車との衝突を回避しながら安全な地点で非常停止する」といった目標のある複雑な運転シナリオに対しても、論理的安全ルールを策定し、正しさを証明できたという。
＞GA-RSSは、産業界での安全性保証の取り組みや国際規格策定に向けた動きに大きく貢献できると確信したという。GA-RSSの活用で、RSSの考え方が広く適用できるようになり、自動運転の様々な状況下での安全性に数学的証明ができれば、自動運転に対する不安を払拭でき、社会普及と産業発展へ向けた大きな弾みになるとしている。

**名無しさん＠お腹いっぱい。** · 2022/07/15(金) 23:00:53.50

https://jdsc.ai/news/ この国は変えられる AIの活用 JDSC/4418テンバガー候補

https://ja.wikipedia.org/wiki/KataGo 世界で最も強い囲碁ソフト DeepMindの論文に加え、独自の研究、強化学習の速度を向上(50倍以上)＝AI上の工夫は無限

https://www.excite.co.jp/news/article/Prtimes_2022-05-31-81631-8/
設計・材料選定プロセスにおけるAI活用の最新動向レポートを発表。データドリブンな材料開発の裏側と、設計・材料選定プロセスにおける工程時間を55%削減するヒントについて解説 PR TIMES 0531
株式会社SUPWAT/データドリブンの材料開発は、大学や航空宇宙系研究機関でも活用が進んでいます。本レポートではデータドリブンな材料開発の裏側と、設計・材料選定プロセスにおける工程時間を55%削減するヒントについて解説します
資料DL：https://note.com/supwat/n/nb3a9ec3b318c

https://spioenkopjp.blogspot.com/2022/05/blog-post_18.html
Oryx Blog - ジャパン 0518
未来戦に備えよ：トルコが無人機による空戦技術の礎を築くための手法
トルコは「アクンジュ」や「クズルエルマ」といった無人戦闘機の開発に加え、いつかそれらの後継機を設計したり、先端技術を特徴とするその他の分野において働くであろう優秀な人材の確保にも入念に注意を払っています。
この国は、世界でも類を見ない規模で、子どもたちや若者の間でテクノロジー分野のあらゆるものに対する関心を高めることを通じて、その目標を達成することを試みています。

https://xtech.nikkei.com/atcl/nxt/column/18/02108/062700001/ AIは万能ではない、機械学習でできることとその限界を知る 0711 澤田千代子日経xtech

https://wired.jp/article/to-win-the-next-war-the-pentagon-needs-nerds/
AIによる戦争が現実化する時代米軍での「高度IT人材」の不足が深刻化 WIRED 0531

この国は変えられる AIの活用 JDSC
https://jdsc.ai/news/ ゆこゆこ JDSCのAIを導入CVRが平均2.4倍電力データとAIによるフレイル検知/中電常石造船データサイエンティスト育成プログラム Robo Co-opで業務提携RPA×AI

**名無しさん＠お腹いっぱい。** · 2023/09/30(土) 15:16:11.40

もっと大胆にやれ！

**名無しさん＠お腹いっぱい。** · 2023/10/18(水) 15:44:41.20

余の顔見忘れたか！！そうだ、テレビのどこかで見たことがある将軍様だ！！