ブログから、話題を知る、きざしを見つける

129日(日)に語られた構成といえば…

1年グラフ
過去1年のキーワード言及エントリー数週次推移グラフです。
グラフの気になる点をクリックすると、「関連語」「ブログエントリー」「この話題の主成分」がクリック時点のものに切り替わります。
グラフクリックでその週の内容を表示します(週単位で1年間表示)ヘルプ
「構成」について語っているブログ
※この記事は「記事12」
シーケントは論理の中核的な概念であり、演繹システムを構成するにしろ、意味論を考察するにしろ、シーケントを基本的対象物とみなすことなる(そうするのが、現状では最良の選択肢だと思われる)。
シーケントとは何であるか?」という問に、「シーケントとはシーケントである」と答えるのが最も正確で安全なんだけど、それじゃー身も蓋もない。
d.hatena.ne.jp d.hatena.ne.jp/m-hiyama-memo/20181203/154381...このブログを読む
論理式は、論理式のリストを構成する素材に過ぎない。
論理式のリストは、シーケント構成する素材に過ぎない。
とりあえずは、シーケントシーケントが表すもの(推論やそのプロファイルなど)を論理の主役と捉えよう(ただし、シーケントも主役の座を奪われる事態も想定しながら)。
d.hatena.ne.jp d.hatena.ne.jp/m-hiyama-memo/20181201/154362...このブログを読む
この話題の関連動画
この話題の主成分

成分分析ができませんでした。

この話題のRSS

「構成」について、2種類の情報をRSSで取得することができます。

きざし的フォークソノミー

過去1年間で「構成」と共に語られていた言葉を一覧できます。

今日の注目の話題ランキング
© kizasi Company, Inc. All Rights Reserved.