m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ RSS練習問題 ※この記事は「記事11 問題集9」記号的表現に対して「自然言語（日本語や英語）による読み下しが出来ないと馴染めない」という事情も当然だから、シーケントの読み下し練習をする。そして、「“シーケントの正しさ”を正しく判断する／判断できる」とはどういうことか？ を（できれば）納得して欲しい。問題を解きながらストーリーを追い、出来るだけリアルにシリアスに状況をイメージしてくださいな。他の練習問題をする前に、この記事をザッと読んだほうがいいかも知れない。 [追記]続きの記事があります。 ともかくシーケントなんだから、頼むよ、皆んな (A12) [/追記]内容： ゲンツェンのLKシーケント計算をご存知の方… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20181202%2F1543720980" title="シーケントに親しもう (A11P9) - (保存用) 檜山正幸のキマイラ飼育記 メモ編" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2018-12-02 12:23:00 rich https://m-hiyama-memo.hatenablog.jp/entry/20181202/1543720980 1.0 100%