Загрузка видео...

Не удалось загрузить видео

Возникла проблема при загрузке этого видео. Это может быть связано с временными проблемами сети или видео может быть недоступно.

На главную

Raspberry Piで制御するロボットをベースに色々なアプリを開発しています💻 このスパイダーロボットはディープラーニングを使ったオブジェクト検出モデルを搭載し、人間を検出して追跡します🕷️🤖 Raspberry PiとPythonの入門書も執筆しています😄(詳細はリプ欄👇)

むらさん(Murasan)

11,265 subscribers

58,243 просмотров • 1 год назад •via X (Twitter)

Игры Наука и технологии Образование

Anya Rossi• Live Now

Private livecam show

Комментарии: 0

Нет доступных комментариев

Здесь появятся комментарии из оригинального поста

Похожие видео

Raspberry Piにサーボ用HAT、スピーカー、各種センサーを組み合わせることで、動物のような動きをするロボットを作ることも可能です🐶 例えば犬型ロボットの場合、サーボモーターで脚や首を制御し、距離センサーで人を検知、スピーカーで鳴き声を再生するといった連携ができます。HATを使えばPWM制御（サーボ角度を安定して制御する仕組み）を安全かつ簡単に扱えるのが利点です。 Pythonで「歩く」「振り向く」「反応する」といった動作を組み合わせることで、まるで生き物のような挙動になります。私はこうした仕組みはロボット制御の入門として非常に良い題材だと感じています。安全面に配慮しつつ、低電圧・小型構成で試すのがおすすめです🤖 動画はSunFounderの犬型ロボットPiDogです。背中に搭載したRaspberry Pi で制御しています。 #RaspberryPi #Python学習 #ロボット制作 #電子工作

Raspberry Piにサーボ用HAT、スピーカー、各種センサーを組み合わせることで、動物のような動きをするロボットを作ることも可能です🐶 例えば犬型ロボットの場合、サーボモーターで脚や首を制御し、距離センサーで人を検知、スピーカーで鳴き声を再生するといった連携ができます。HATを使えばPWM制御（サーボ角度を安定して制御する仕組み）を安全かつ簡単に扱えるのが利点です。 Pythonで「歩く」「振り向く」「反応する」といった動作を組み合わせることで、まるで生き物のような挙動になります。私はこうした仕組みはロボット制御の入門として非常に良い題材だと感じています。安全面に配慮しつつ、低電圧・小型構成で試すのがおすすめです🤖 動画はSunFounderの犬型ロボットPiDogです。背中に搭載したRaspberry Pi で制御しています。 #RaspberryPi #Python学習 #ロボット制作 #電子工作

むらさん(Murasan)

36,759 просмотров • 4 месяцев назад

宇宙空間を移動しているようなアニメーションができた。マイコンはRaspberry Pi Pico 2を使っています。

宇宙空間を移動しているようなアニメーションができた。マイコンはRaspberry Pi Pico 2を使っています。

そぞら@Raspberry Pi 電子工作

18,044 просмотров • 9 месяцев назад

文字がせまってくる「3Dスクロール」の時計を作りました。マイコンはRaspberry Pi Pico 2 Wを使っています。

文字がせまってくる「3Dスクロール」の時計を作りました。マイコンはRaspberry Pi Pico 2 Wを使っています。

そぞら@Raspberry Pi 電子工作

21,010 просмотров • 9 месяцев назад

掃除をしていたら隙間から手が出てきたのでエビを渡しました🦐見えていないのに手を出す勇気👏 カワウソは、岩の隙間や泥の中のエサを探すときもこのように手を使っていると言われています💡

掃除をしていたら隙間から手が出てきたのでエビを渡しました🦐見えていないのに手を出す勇気👏 カワウソは、岩の隙間や泥の中のエサを探すときもこのように手を使っていると言われています💡

サンシャイン水族館

9,720,454 просмотров • 24 дней назад

Raspberry Piのモデル名をAIで判別する装置を作りました。

Raspberry Piのモデル名をAIで判別する装置を作りました。

そぞら@Raspberry Pi 電子工作

92,446 просмотров • 7 месяцев назад

新しいChatGPT o1効率よく使いたい人全員見て。 #シュンスケ式と#七里式をマージ&リメイクしてみました。動画のようにコマンド実行でChatGPTが詳細を書いてきます。これを利用すれば出力結果が10倍に。誰でも使えるようにしたので、プロンプト使ってみたい人、リプ欄に"欲しい"と書いたら送ります。

新しいChatGPT o1効率よく使いたい人全員見て。 #シュンスケ式と#七里式をマージ&リメイクしてみました。動画のようにコマンド実行でChatGPTが詳細を書いてきます。これを利用すれば出力結果が10倍に。誰でも使えるようにしたので、プロンプト使ってみたい人、リプ欄に"欲しい"と書いたら送ります。

shimayuz ⤴️ AIエージェント実装・業務効率化

38,675 просмотров • 1 год назад

SEO上位表示するブログ記事執筆くんをリリースします。ココナラやクラウドワークスで案件を獲得して、AIに記事を書いてもらい労働時間たった5分でマネタイズ可能になります。記事のタイトル名を入れたらSEO上位表示しやすい記事を量産できますこれ極めたらブログ記事365記事とかもサクッと作れちゃいます。このツールを活用してクライアントワークとして活躍できます。これ欲しい人はこの投稿にいいねしてリプで欲しいで配布します。

SEO上位表示するブログ記事執筆くんをリリースします。ココナラやクラウドワークスで案件を獲得して、AIに記事を書いてもらい労働時間たった5分でマネタイズ可能になります。記事のタイトル名を入れたらSEO上位表示しやすい記事を量産できますこれ極めたらブログ記事365記事とかもサクッと作れちゃいます。このツールを活用してクライアントワークとして活躍できます。これ欲しい人はこの投稿にいいねしてリプで欲しいで配布します。

まるおAI

17,191 просмотров • 1 год назад

排水ポンプを狭洞の奥まで搬入し、発見済みでまだラオスの洞窟内に残されていた4人全員を救出することに成功しました。これで、7人のうち5人の救出が完了されました。発見されていない2人についてどうするかは、ここから検討となります。

排水ポンプを狭洞の奥まで搬入し、発見済みでまだラオスの洞窟内に残されていた4人全員を救出することに成功しました。これで、7人のうち5人の救出が完了されました。発見されていない2人についてどうするかは、ここから検討となります。

伊左治佳孝｜水中探検家

38,127 просмотров • 7 дней назад

PiSugar Wisplay HATを買いました。まずはLCDの動作確認から。マイク、スピーカー、ボタンが付いていて、このサイズで収まってるのが素敵すぎる。Raspberry Pi Zero 2 Wで動かしています。

PiSugar Wisplay HATを買いました。まずはLCDの動作確認から。マイク、スピーカー、ボタンが付いていて、このサイズで収まってるのが素敵すぎる。Raspberry Pi Zero 2 Wで動かしています。

そぞら@Raspberry Pi 電子工作

19,191 просмотров • 2 месяцев назад

すごいもの作ってしましました。。伸びてるYouTube台本をコピーして貼り付けたら、自動でさらに良いものに書き直してくれる YouTube特化台本ツールを作成しましたが欲しい人いますか？？これでYouTubeの台本作成の90%を時短することができます。このツール欲しい人はこの投稿に「いいね・リポスト」してリプに「コピー」送るとリプ欄から受け取れます↓

すごいもの作ってしましました。。伸びてるYouTube台本をコピーして貼り付けたら、自動でさらに良いものに書き直してくれる YouTube特化台本ツールを作成しましたが欲しい人いますか？？これでYouTubeの台本作成の90%を時短することができます。このツール欲しい人はこの投稿に「いいね・リポスト」してリプに「コピー」送るとリプ欄から受け取れます↓

食パン@AI調教で飯食うニート

18,597 просмотров • 4 месяцев назад

ウィメンズマーチに参加をしました。このペンライトは、戦争放棄と書いてあります。色が次々に変わるので、とても楽しいです。

ウィメンズマーチに参加をしました。このペンライトは、戦争放棄と書いてあります。色が次々に変わるので、とても楽しいです。

福島みずほ　参議院議員　社民党党首

99,490 просмотров • 2 месяцев назад

実は体調を崩していていました、山々田です。というわけでスーパーゲ制デーに出そうとした制作中の人間の街です～ここでは買い物などが出来るのですが、人間の姿になっていないと戦闘になるので注意してください！では体調は回復したのでまたバリバリ作っていきます～ #スキルイーター

実は体調を崩していていました、山々田です。というわけでスーパーゲ制デーに出そうとした制作中の人間の街です～ここでは買い物などが出来るのですが、人間の姿になっていないと戦闘になるので注意してください！では体調は回復したのでまたバリバリ作っていきます～ #スキルイーター

山々田

22,053 просмотров • 1 год назад

🎮🧙‍♀️Luluに対するすべてを公開します 2弾🪄🎮 2弾でやってきました！今日は100点のLuluになる過程を見てみましょう‼️ 今回の投稿では、ルルのスキルコンボとメカニズムが盛り込まれた投稿ですので一度ずつ文章と映像を見ていただければ、プレイに大いに役立つと確信しています！ 1. 本当に誰にも話さなかったLulu Qの秘密の使い方について説明します LuluのQはピックスからスキルが発射されますこれを利用して、Lulu Qの射程をより長く使う方法があります (*映像1番をご参照ください) ピックスからQスキルが発射されるこのメカニズムを利用してみますと、敵にプレッシャーをかけるとき、前のムービングをしてから外すふりをして後ろのムービングをしながら、フィックスを前にして敵にQを使うのですこうなると、ピックスが前に位置している状態でQが発射されるわけですから、Qの射程がはるかに長くなります ( 1番映像の最初の場面でQを使うスタートラインは同じですが、ピックスの位置によって敵に的中したり的中したりできない違いが発生します ) このtipを使える人と使えない人の差は本当に大きいと思っているので、ぜひ覚えておいて使ってみましょう！次に、一般的なスキルの使用とコンボについて説明します 2. R+Wです重要度(⭐⭐⭐⭐⭐) R+WはレオナのQ+Rに似たメカニズムのコンボです敵をCC Chainできます。このコンボもすごくよく使われるコンボの一つです ( 映像2番をご参考願います！) 3. Eです重要度(⭐⭐⭐⭐⭐) LuluのEには真の視界効果を持っているので、敵が隠れスキルを使う前にEを使っておきましょう！映像の中でAkaliはLuluのEによってWの中でもチャンピオンが見えています ( 映像3番をご参考願います！) 4. Wです重要度(⭐⭐⭐) AlistarやPantheon、LeonaのようなチャンピオンのCC ChainをWを使って切ることができます映像の中では、AlistarがWを使用する時点でLuluのWを使用してAlistarのW+Qのコンボを妨害しました ( 映像4番をご参考願います！) +LuluのEを使用したチャンピオンや物体にピックスの位置が移動しますので、E+Qのコンボを使用する際、注意が必要です！そして本当にたくさん悩みました Luluの3段Nerf ( 特に体力関連のナーフはすごく致命的だったと思いました）しかし、ルルは依然として健在で、十分に1Tier級の性能を見せていましたそして、もう一つ、現在、LuluはQスキルを3回アップグレードするよりも、まさにEとWをマスターした方が勝率が良いということでした。 Luluのメカニズム上、レーン戦で強力にリードしていかなければならないチャンピオンなので、Qを3回アップグレードするのが理論上合っていますデータとメカニズムが合わなくてたくさん悩んでみました(2~3パッチの間EとWのデータがもっと高く出たからデータ標本数は一理あると思いました) 私が考え出した結論はこれです現在Luluは3段Nerfのため、自分だけの階級は高くないということですしかし、このLuluを強力にしてくれたのは、現在AttackベースのADCが強力だということでしたこの前のAttackの制限を解いてくれるとてつもなく大きいBuffと現在ユンのアイテムの価値がとてつもなく高いということ、この2つが現在のLuluを存在させたという結論が出ましたしたがって、LuluはAttackベースユンのアイテムを使用するADCと一緒にすることができれば、1ティアまたはそれ以上の性能を出すことができるというのが結論ですしたがってQは最大2つまでアップグレードすることにしておき、残りのスタットはEとWに没頭することにしましょう！今日の掲示物はここまでです遅くなって本当に申し訳ありません今度のKR大会で優勝しました関連映像に関して編集が終わったら、皆さんと一緒に見られるように映像を共有します！今度台湾行きの往復チケットも怪我で受け取ることになったので、LCPが見れたら見に行きたいです！ #SHGDFMWIN！皆さん今日も長い文章を読んでくださって本当にありがとうございました！また他の掲示物でまたお伺いします！いろんなことをしているので、仕事がほぼ終わったらStreamもまた始めるつもりです！あ、そして7月末にOsakaに出国する予定です！長くいてくると思います

🎮🧙‍♀️Luluに対するすべてを公開します 2弾🪄🎮 2弾でやってきました！今日は100点のLuluになる過程を見てみましょう‼️ 今回の投稿では、ルルのスキルコンボとメカニズムが盛り込まれた投稿ですので一度ずつ文章と映像を見ていただければ、プレイに大いに役立つと確信しています！ 1. 本当に誰にも話さなかったLulu Qの秘密の使い方について説明します LuluのQはピックスからスキルが発射されますこれを利用して、Lulu Qの射程をより長く使う方法があります (*映像1番をご参照ください) ピックスからQスキルが発射されるこのメカニズムを利用してみますと、敵にプレッシャーをかけるとき、前のムービングをしてから外すふりをして後ろのムービングをしながら、フィックスを前にして敵にQを使うのですこうなると、ピックスが前に位置している状態でQが発射されるわけですから、Qの射程がはるかに長くなります ( 1番映像の最初の場面でQを使うスタートラインは同じですが、ピックスの位置によって敵に的中したり的中したりできない違いが発生します ) このtipを使える人と使えない人の差は本当に大きいと思っているので、ぜひ覚えておいて使ってみましょう！次に、一般的なスキルの使用とコンボについて説明します 2. R+Wです重要度(⭐⭐⭐⭐⭐) R+WはレオナのQ+Rに似たメカニズムのコンボです敵をCC Chainできます。このコンボもすごくよく使われるコンボの一つです ( 映像2番をご参考願います！) 3. Eです重要度(⭐⭐⭐⭐⭐) LuluのEには真の視界効果を持っているので、敵が隠れスキルを使う前にEを使っておきましょう！映像の中でAkaliはLuluのEによってWの中でもチャンピオンが見えています ( 映像3番をご参考願います！) 4. Wです重要度(⭐⭐⭐) AlistarやPantheon、LeonaのようなチャンピオンのCC ChainをWを使って切ることができます映像の中では、AlistarがWを使用する時点でLuluのWを使用してAlistarのW+Qのコンボを妨害しました ( 映像4番をご参考願います！) +LuluのEを使用したチャンピオンや物体にピックスの位置が移動しますので、E+Qのコンボを使用する際、注意が必要です！そして本当にたくさん悩みました Luluの3段Nerf ( 特に体力関連のナーフはすごく致命的だったと思いました）しかし、ルルは依然として健在で、十分に1Tier級の性能を見せていましたそして、もう一つ、現在、LuluはQスキルを3回アップグレードするよりも、まさにEとWをマスターした方が勝率が良いということでした。 Luluのメカニズム上、レーン戦で強力にリードしていかなければならないチャンピオンなので、Qを3回アップグレードするのが理論上合っていますデータとメカニズムが合わなくてたくさん悩んでみました(2~3パッチの間EとWのデータがもっと高く出たからデータ標本数は一理あると思いました) 私が考え出した結論はこれです現在Luluは3段Nerfのため、自分だけの階級は高くないということですしかし、このLuluを強力にしてくれたのは、現在AttackベースのADCが強力だということでしたこの前のAttackの制限を解いてくれるとてつもなく大きいBuffと現在ユンのアイテムの価値がとてつもなく高いということ、この2つが現在のLuluを存在させたという結論が出ましたしたがって、LuluはAttackベースユンのアイテムを使用するADCと一緒にすることができれば、1ティアまたはそれ以上の性能を出すことができるというのが結論ですしたがってQは最大2つまでアップグレードすることにしておき、残りのスタットはEとWに没頭することにしましょう！今日の掲示物はここまでです遅くなって本当に申し訳ありません今度のKR大会で優勝しました関連映像に関して編集が終わったら、皆さんと一緒に見られるように映像を共有します！今度台湾行きの往復チケットも怪我で受け取ることになったので、LCPが見れたら見に行きたいです！ #SHGDFMWIN！皆さん今日も長い文章を読んでくださって本当にありがとうございました！また他の掲示物でまたお伺いします！いろんなことをしているので、仕事がほぼ終わったらStreamもまた始めるつもりです！あ、そして7月末にOsakaに出国する予定です！長くいてくると思います

IDT JustFocus

173,150 просмотров • 1 год назад

ただいま順平が澱月を無限に出すバグがおこっています v.14.41を出したので既にv.14.4をダウンロードしてしまった人は削除してもう一度ビヘイビアーのみ入れなおしてください🙏

ただいま順平が澱月を無限に出すバグがおこっています v.14.41を出したので既にv.14.4をダウンロードしてしまった人は削除してもう一度ビヘイビアーのみ入れなおしてください🙏

らいちゅう

41,106 просмотров • 10 месяцев назад

blender生活モデリングの合間にちょっと試したいことがあって、Unityいじっていました。以前購入していたPOTATOONというシェーダーを試しています。Warudoでも使えるし色々設定できてかなりきれいですね。まあ、使いこなせてはいないのですが・・・ #blender #Unity

blender生活モデリングの合間にちょっと試したいことがあって、Unityいじっていました。以前購入していたPOTATOONというシェーダーを試しています。Warudoでも使えるし色々設定できてかなりきれいですね。まあ、使いこなせてはいないのですが・・・ #blender #Unity

0から始めるblender生活

80,980 просмотров • 3 месяцев назад

Sora 2でゴジラの独り酒を作ってみました。リプ欄に2人まで使える招待コードを貼るので、必ずもらった人はリプに自分の招待コードを追加してリレーをつなげて欲しいです！ #sora2 #sora

Sora 2でゴジラの独り酒を作ってみました。リプ欄に2人まで使える招待コードを貼るので、必ずもらった人はリプに自分の招待コードを追加してリレーをつなげて欲しいです！ #sora2 #sora

吉田一星｜㈱EmbodyMe CEO＆エンジニア

13,440 просмотров • 8 месяцев назад

三次元にとどまることを選択した人々に何が起こるのか古代のシステムが崩壊し、地球がより高い周波数で上昇するにつれて、一部の魂は5次元に上昇し、他の魂は天の意識のままになります。これは、腐敗したシステムが彼らのために存在し続けることを意味するものではありません。彼らの現実の認識は、真実が彼らの周りで明らかにされていても、恐怖、生存、幻想に閉じ込められたままになる原因となります。地球上の誰もが同じ壊れたシステムの崩壊を目撃しています。支配に基づく政府、メディア、銀行、企業、機関は、暴露されるでしょう。しかし、この破壊は外部から起こりますが、3次元の人々と5次元に移動する人々を分けるのは内部の反応です。 5次元の人々にとって、この崩壊は解放と見なされ、彼らは恐れていません。彼らはすでに幻想を捨て、心と頭の中で準備をしています。彼らは平和、明晰さ、目的を感じます。この破壊は、彼らがすでに知っていたことを確認します。そして今、彼らは自信と信仰を持って新しい地球に完全に入っています。まだ3次元にいる人も同様の障害を経験しますが、反応は非常に異なります。彼らはパニックに陥り、混乱し、裏切られたと感じています。彼らはまだ古いシステムが彼らを救うと信じています。彼らは真実に抵抗し、偽の救世主に従い、誰かが問題を解決するのを待ちます。彼らは周りのすべてが崩壊したときに立ち上がる準備ができていないため、嘘にしがみついています。これにより、物理的な空間ではなく周波数の分割が生じます。私たちは皆同じ土地を歩いていますが、私たちの経験はまったく異なります。三次元の人々にとって、世界は暗く絶望的に見えます。五次元の人々にとって、世界は生きていて、光に満ちています。人々は自分が調和しているものしか見ません。それはラジオ局が異なる周波数で放送しているようなもので、あなたのチャンネルにチューニングされていないものは何も聞こえません。三次元に閉じ込められた人々の中には、やがて目覚める者もいるでしょう。圧力、崩壊、摩耗、孤独はついに殻から出てくることができます。彼らは夢を見たり、感情的なブレークスルーを経験したり、献身の心を開く瞬間を経験するかもしれません。その瞬間、彼らは目を覚まし、物事を見始め、変化が始まります。このサイクル中に目が覚めない人もいるかもしれません。彼らの魂は地球を去り、他の場所で彼らの研究を続けることを選ぶかもしれません。準備ができたら、もう一度チャンスがあります。誰も罰せられたり忘れられたりしません。しかし、スケジュールは異なります。五次元のアセンダントとしての役割は、彼らを説得することではなく、光を具現化することです。愛をもって真実を語り、種を植えよう。そして、一歩下がって、彼らの魂に決めさせてください。あなたは嵐から誰かを救うためにここにいるわけではありません。あなたはここにいて、平和が可能であることを彼らに思い出させ、落ち着きの中心になるためにいます。これは素晴らしい選択です。システムは誰にとっても壊れています。しかし、起こる未来は、あなたが嵐の中にいる頻度に完全に依存しています。

三次元にとどまることを選択した人々に何が起こるのか古代のシステムが崩壊し、地球がより高い周波数で上昇するにつれて、一部の魂は5次元に上昇し、他の魂は天の意識のままになります。これは、腐敗したシステムが彼らのために存在し続けることを意味するものではありません。彼らの現実の認識は、真実が彼らの周りで明らかにされていても、恐怖、生存、幻想に閉じ込められたままになる原因となります。地球上の誰もが同じ壊れたシステムの崩壊を目撃しています。支配に基づく政府、メディア、銀行、企業、機関は、暴露されるでしょう。しかし、この破壊は外部から起こりますが、3次元の人々と5次元に移動する人々を分けるのは内部の反応です。 5次元の人々にとって、この崩壊は解放と見なされ、彼らは恐れていません。彼らはすでに幻想を捨て、心と頭の中で準備をしています。彼らは平和、明晰さ、目的を感じます。この破壊は、彼らがすでに知っていたことを確認します。そして今、彼らは自信と信仰を持って新しい地球に完全に入っています。まだ3次元にいる人も同様の障害を経験しますが、反応は非常に異なります。彼らはパニックに陥り、混乱し、裏切られたと感じています。彼らはまだ古いシステムが彼らを救うと信じています。彼らは真実に抵抗し、偽の救世主に従い、誰かが問題を解決するのを待ちます。彼らは周りのすべてが崩壊したときに立ち上がる準備ができていないため、嘘にしがみついています。これにより、物理的な空間ではなく周波数の分割が生じます。私たちは皆同じ土地を歩いていますが、私たちの経験はまったく異なります。三次元の人々にとって、世界は暗く絶望的に見えます。五次元の人々にとって、世界は生きていて、光に満ちています。人々は自分が調和しているものしか見ません。それはラジオ局が異なる周波数で放送しているようなもので、あなたのチャンネルにチューニングされていないものは何も聞こえません。三次元に閉じ込められた人々の中には、やがて目覚める者もいるでしょう。圧力、崩壊、摩耗、孤独はついに殻から出てくることができます。彼らは夢を見たり、感情的なブレークスルーを経験したり、献身の心を開く瞬間を経験するかもしれません。その瞬間、彼らは目を覚まし、物事を見始め、変化が始まります。このサイクル中に目が覚めない人もいるかもしれません。彼らの魂は地球を去り、他の場所で彼らの研究を続けることを選ぶかもしれません。準備ができたら、もう一度チャンスがあります。誰も罰せられたり忘れられたりしません。しかし、スケジュールは異なります。五次元のアセンダントとしての役割は、彼らを説得することではなく、光を具現化することです。愛をもって真実を語り、種を植えよう。そして、一歩下がって、彼らの魂に決めさせてください。あなたは嵐から誰かを救うためにここにいるわけではありません。あなたはここにいて、平和が可能であることを彼らに思い出させ、落ち着きの中心になるためにいます。これは素晴らしい選択です。システムは誰にとっても壊れています。しかし、起こる未来は、あなたが嵐の中にいる頻度に完全に依存しています。

😺かずみん😺

23,171 просмотров • 8 месяцев назад

ボトムアップで開発中のバズベイトには、新たに発案したスカートのタイイング法と、それを適える機構を採用しています💡 その名も、『Wウェーブスカート(PAT.P)』。詳細は追って紹介していきます。まずは、そのWウェーブアクション🌊をご覧ください！ #bottomup #PR

ボトムアップで開発中のバズベイトには、新たに発案したスカートのタイイング法と、それを適える機構を採用しています💡 その名も、『Wウェーブスカート(PAT.P)』。詳細は追って紹介していきます。まずは、そのWウェーブアクション🌊をご覧ください！ #bottomup #PR

鈴木翔

23,291 просмотров • 1 год назад

Lean Atlasという論文を発表し、AIPV2026に採択されました！京大准教授三内さんとの共著です。 Lean Atlasはオープンソースのライブラリでもあり、誰でも利用可能です。本論文は「数学証明において、どれだけAI性能が進化したとしても人間がすべきことは何か？」というモチベーションで書きました。 AI生成されたLeanコードについて、Lean型検査はその証明部が正しいことを示してくれます。しかし、どこまで行っても人間が”意味的検証”を行う必要がある部分(動画のオレンジ部, 定義と命題ステートメント)も存在します。 Lean Atlasは、それを分かりやすく可視化した環境としても機能します。 Leanを書いて定理証明を行う人、形式検証する人はぜひ利用してみてください！

Lean Atlasという論文を発表し、AIPV2026に採択されました！京大准教授三内さんとの共著です。 Lean Atlasはオープンソースのライブラリでもあり、誰でも利用可能です。本論文は「数学証明において、どれだけAI性能が進化したとしても人間がすべきことは何か？」というモチベーションで書きました。 AI生成されたLeanコードについて、Lean型検査はその証明部が正しいことを示してくれます。しかし、どこまで行っても人間が”意味的検証”を行う必要がある部分(動画のオレンジ部, 定義と命題ステートメント)も存在します。 Lean Atlasは、それを分かりやすく可視化した環境としても機能します。 Leanを書いて定理証明を行う人、形式検証する人はぜひ利用してみてください！

banri

52,172 просмотров • 1 месяц назад