VRChat 技術・学術系発表一覧

46 集会 · 768 発表 · 275 人の発表者

資料あり (5) すべて (6)

発表特別企画・ブログ

発表者: いつものおねえさん絞り込みをすべて解除

2026年12月19日「計算と自然」集会いつものおねえさん

LeanLinkとLeanAssistによるMathematicaとLeanのブリッジ

2026年11月7日「計算と自然」集会いつものおねえさん

Wolfram/LeanLinkにより、LeanをMathematicaから使えるようになりました。Mathematicaは、自動推論に適した形式の座標非依存の総合幾何学的シーンの記号表現をサポートし、幾何学的推論と、可視化のための関数を…

スライド記事

35 思考のための杖、AIと二人羽織で生きていくための方策と現状のサムネイル

35 思考のための杖、AIと二人羽織で生きていくための方策と現状

2026年10月17日「計算と自然」集会いつものおねえさん

動画スライド

34 SpatialMicをMathematicaにつなぐ--あるいは軌道電子とアンビソニック音場についてのサムネイル

34 SpatialMicをMathematicaにつなぐ--あるいは軌道電子とアンビソニック音場について

2026年10月3日「計算と自然」集会いつものおねえさん

動画

33 論文紹介: 電気活性ポリマーハイドロゲルは、シミュレートされたゲーム環境に身体化されたとき創発的な記憶を示すのサムネイル

33 論文紹介: 電気活性ポリマーハイドロゲルは、シミュレートされたゲーム環境に身体化されたとき創発的な記憶を示す

2026年9月19日「計算と自然」集会いつものおねえさん

動画

32 Spiking Neural NetworkとDaito Manabeの「FPGAに神経回路を置く」についてしらべてみたのサムネイル

32 Spiking Neural NetworkとDaito Manabeの「FPGAに神経回路を置く」についてしらべてみた

2026年9月5日「計算と自然」集会いつものおねえさん

動画