https://t.co/OqvZJqex7j 理論もちょっと勉強しようと思い読むも。 論理学は独学な上に大昔にちょっとやっただけなので理解が少し難しい（つまり理解できてない）。 全てのｘについてｘが飛ばない鳥である事が否定されたら、ｘは飛ぶというのはなんとなく、論理式を適用すると違う結論が難しい。

https://t.co/Nd1eWcpeiO この記事を途中まで読んで力尽きた。 スパコンを使っても昆虫の脳のシミュレーション位が丁度いいのか。 まあ昆虫の脳の神経細胞は一つ一つの神経細胞が高度な機能を担っていてそれを考慮して計算する必要があるとは書いてあるが。 昆虫の脳＝スパコンを考えると今のAI凄いな

https://t.co/JbF1TmqBif 学習後増強したスパインにだけ集まる物質を投与し、光を当てるとその物質が集まったスパインが縮小し、スパインの上にあるシナプスも影響を受ける。 すると学習結果が記憶から消える。 実験動物の記憶が消えたことを確認するのか。 我が病気問題点が多種多様な論文だらけ

https://t.co/JbF1TmqBif 2ページ目を読んでるところで力尽きた。 自分の病気統合失調症について詳しく知りたいのに調べ物をする元気がない。 取り合えず風呂でも洗うか。

https://t.co/veuiTLaNrd プチコンでゲーム画面の見栄えをよくするため論文資料を使えないか試行錯誤。 雲とかリアルタイム（計算速度を考えると１フレームで雲の一部ずつ更新）で計算したい。 論文　物理の常識の壁が通信制高校卒に立ちふさがる。

https://t.co/r5eY1MWkGP 印刷して読んだが大学行ってない私には無理だった。 まず用語がわからない。 次に論文内で定義された記号を覚えることができない。 調べものをたっぷりしてノートにメモを取って時間かかるのであきらめた。

https://t.co/r5eY1MWkGP 印刷して読んだが大学行ってない私には無理だった。 まず用語がわからない。 次に論文内で定義された記号を覚えることができない。 調べものをたっぷりしてノートにメモを取って時間かかるのであきらめた。

http://t.co/TP0HeHhUtd Prologにも方言というか研究あるんだな。 実際にコード書いてみないと実感できないけど。 型とc++のコンテナとソート基準をＰｒｏｌｏｇ言語と融合できたら少しうれしいかも。当然なんでも入るリストの魅力も残してだけど。

http://t.co/TP0HeHhUtd この論文？ Ｐｒｏｌｏｇ言語に例えれば、述語群Ｅｓ（他の言語でいうところの関数）を組み合わせて述語Ａを作る。 Ａと同じ写像を持つ述語ＡｉをＥｓを組み合わせて作り、Ａより効率が良いものを探すということか、難しいな。