新規記事投稿
フォロー記事投稿
記事のキャンセル
From: take-win
<take-win@interlink.or.jp>
Subject: Re: 限定的負帰還型証明法
Date: 1998/06/22 05:29:26
Reference: free/00121
6月21日に、Akitaka HOSOMIさんは書きました。
>この限定的負帰還型証明法で取り上げた例題は、take-win さん自身が使っている、
>私にとっては、奇妙に感じられる論法の骨格を、そっくりそのまま、出題していま
>す。
出題されたとき、にわかには、今までのどの発言の部分を
指摘されたかわかりませんでした。
今までの発言でどこかに論理展開がおかしいところがある
ことが心配になって、
この出題があった直後の私の意見が変にへりくだって
「感じました」を乱発した迷走する発言になりました。
お詫びします。
>さて、
>
>このネタを提供している当の take-win さんから、別のスレッドでレスを貰いま
>したので、紹介します。
>
>
>take-win>限定的負帰還型証明法、
>take-win>私は0点でした。
>take-win>それにつけても世の中難しい言葉があるんですね。
>
>
>どういう内容なのか、私には全く理解できません。
Yanoさんのように答えが出なかった。
答案が白紙だったと言うことです。
また、私の日常生活の中で証明方法を論ずることがほとんと゛なく、
ましてや「負帰還」なんてことば聞いた覚えがなく
(学校で習ったかもしれないけど、少なくとも覚えてない)
10個漢字が続く熟語もあまり使わないものですから
「難しい言葉」だと感じました。