情報学広場にもすでに論文がアップロードされてますね．左側の局面の△３九馬に対して，右側のような情報が提示できるような手法になっています． https://t.co/9Mpoi9F84K https://t.co/0wjLrgCI1P https://t.co/tBbD6lhJcn

前号のコラム https://t.co/vLA0l7AvXM とはうってかわって良いコラムであった． https://t.co/u5sqrXtWYC

この前コンピュータソフトウェアに書いたコラムがオンライン公開になったらしい．https://t.co/vLA0l7AvXM

@ksuenaga こういうのとかちゃんと仕留めてるんですかねぇ。 https://t.co/qpJ276h0k8

すでに挑戦的研究(開拓)で 「トポロジーの形式化における深層学習の適用の研究」 が今年から実施されてますね！ https://t.co/OEFBFh3E4k どんな違いが生まれるか面白そう。 https://t.co/vUuXuULykh

『MELLの証明に要する計算の複雑さ』 https://t.co/7tvE22ZED5 “MELLはペトリネットとの関係が深く，命題のレベルでペトリネットの可達問題を埋め込むことが可能である”　へぇ〜．