人工知能・機械学習のスレッド@数学板at MATH人工知能・機械学習のスレッド@数学板 - 暇つぶし2ch539:132人目の素数さん 19/04/07 17:17:22.10 vEqUlseq.net>>525竹ノ内脩は任意の元を選んだら固定されることを主張していまし 命題論理から述語論理に拡張したってことを言ってるの? 次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch