RT @BlueBiped: 2023年度 人工知能学会全国大会（第37回）/受動的力学機序を規範とした２足ロボットの世界モデルと連続跳躍動作 https://t.co/IwWX4tlcnY https://t.co/rNKRIvxe6B

RT @shunji_umetani: ここまで解ける整数計画 https://t.co/zwXx2PuPAS 分枝限定法：さらなる計算効率の希求 https://t.co/MsACbDe1Tu

RT @shunji_umetani: ここまで解ける整数計画 https://t.co/zwXx2PuPAS 分枝限定法：さらなる計算効率の希求 https://t.co/MsACbDe1Tu

oO(オレンジ色の本のラノベ版みたいなの見つけた https://t.co/IpHXGtplrE)

RT @k1ito: 最近NNの数学的定式化が一部で流行っているっぽいので昨日リプライで送られてきた論文紹介するけど。これ数学プロパーが深層学習を勉強するときに一番良いPDFではと思えるレベル。よくここまでサーベイできるなと。。。(200ページ以上あるので重い) https:/…

CafeOBJってはじめて知ったけど coq じゃだめなんか・・・？と思ってぐぐったら 可読性とか手間とかの観点で上流工程では前者が良いとある https://t.co/6FgUD25vqn

リアプノフ関数は入力の無いシステム/dot x=f(x) に対して安定性を確認するもので、制御リアプノフ関数は入力の有るシステム/dot x=f_(x,u) に対して、リアプノフ関数となる安定化制御則u=k(x)を作れる関数です。f_(x,k(x))=f(x)となります。 全文はこちらでご覧ください。 https://t.co/A6KVLDanrg https://t.co/M3mFUEPddb https://t.co/ddbCTspTrl

本件のフルーツポンチの炭化現象は、当初、炭を入れたのでは無いかと言う私の推測は、誤りでした。 数日調査した結果。 https://t.co/CnC3Shaq5q 缶詰の炭化は、ブリキの錫を消費した結果の鉄の溶出によるガルバニック反応からの電気エネルギーによる電池反応の酸化還元反応でした。 https://t.co/LUMatuYE3V https://t.co/EzekjLI3Xj

https://t.co/cSIQuEOhOv 航空機やロケット的なものの飛行シミュレーションアルゴリズムのJAXAテクニカルレポートがすばらしく良くまとまっている。

質疑でロボット系で美しい研究は無いかと問われてロボットというより機構だけど広瀬茂男先生の「IBマグネット」 https://t.co/zc7SZApurZ と「ソフトグリッパ」 https://t.co/HzoyZx7R04 を紹介。ソフトグリッパの美しさは https://t.co/6wpHK68k57 の解説が秀逸

やっと、ちゃんと書いてるわかりやすい解説見つけた Knuth − Bendix の完備化手続きとその応用 https://t.co/2gq8icsURF

ここまで解ける整数計画 https://t.co/zwXx2PuPAS 分枝限定法：さらなる計算効率の希求 https://t.co/MsACbDe1Tu

ここまで解ける整数計画 https://t.co/zwXx2PuPAS 分枝限定法：さらなる計算効率の希求 https://t.co/MsACbDe1Tu