RT @ystk_hara: ホンダの自動運転で用いられている自己位置推定。白線マッチングには、Mobileye（モービルアイ）の技術が採用されていると思われる。 GNSS＋カメラで認識した白線をHDマップとマッチング＋IMU併用車輪オドメトリ "世界で初めてレベル3の型式…

圧着端子の物理的作用 https://t.co/HV9JNjHsQa

RT @WatakoLab: サーボのモデル化に向け、こちらの論文の前半部分を自分なりにかみ砕いたものをば…。 (間違ってたらごめんなさい) 次は、実際にデータ取りしてみようと思います。 ・R/Cサーボモータのモデリングと劣駆動機械系への応用 https://t.co/A2…

紅茶 の水色変化 におけ るpHお よび有機酸 の影響 https://t.co/DlCm8swlM6

https://t.co/DlCm8sOv0e

ホンダの自動運転で用いられている自己位置推定。白線マッチングには、Mobileye（モービルアイ）の技術が採用されていると思われる。 GNSS＋カメラで認識した白線をHDマップとマッチング＋IMU併用車輪オドメトリ "世界で初めてレベル3の型式指定を受けた自動運転技術の概要" https://t.co/miGbHvU5eb https://t.co/GNfOj6jYt3

サーボのモデル化に向け、こちらの論文の前半部分を自分なりにかみ砕いたものをば…。 (間違ってたらごめんなさい) 次は、実際にデータ取りしてみようと思います。 ・R/Cサーボモータのモデリングと劣駆動機械系への応用 https://t.co/A26dkPAOf4 https://t.co/r44vQPPE4T

暗号系の安全性検証 - 入門から計算機による証明まで https://t.co/r4oO916vTH 積読消化。確率的多項式時間チューリングマシン間のゲームとしての安全性の定式化、ゲームの書き換えによる安全性の証明、Coq風の検証ツールEasyCrypt https://t.co/JyIsQAcU7L による形式的検証など。これは面白い。

60年前の「電子計算機の未来」についての記事発見‼️ 「計算機同士の電話」「機械の好奇心をみたすような教育学」「音声タイプライター」「人工頭脳」 今に通ずる話がパワーワード多めで書かれていて面白い