放送大学教養学部で2022年度第2学期は「記号論理学('14)」を受講しています。その印刷教材で「第4章 命題の意味」において61頁で「仮言命題」の説明がでてきます。要するに、前件が真で後件が偽である場合に「仮言命題」が偽となり、それ以外は真となります。これが定義です。
命題が「B→C」の形をしているなら、前件「B」が真の場合、後件「C」が偽なら命題も偽であり、後件「C」が真なら命題も真です。これは納得できます。ところが前件「B」が偽の場合、後件「C」が偽であろうと真であろうと無関係に命題が真になります。これがよくわかりません。
仮言命題「B→C」を日本語で「BならばC」と表現するのは、記号論理学的にはよろしくないようです。しかし日本語の語感としては、「BならばC」と言われたら連言命題「B∧C」のように理解してしまいたくなります。そうなると仮言命題じゃなくて連言命題だけで十分じゃないかという話になってしまいますから、仮言命題の定義は何か理由があるのではないかと思うのです。要するに、その理由が分からないのです。
2022年は、NHKで放映されている大河ドラマが「鎌倉殿の13人」ですし、山田尚子監督によるアニメ作品「平家物語」の評価が高く、中世時代に焦点があたった年でした。鎌倉時代や源頼朝といえば後白河天皇が大きくかかわってきます。また中世時代と言えば室町時代や足利尊氏が思い起こされますが、そうなると後醍醐天皇が大きくかかわっています。さらに鎌倉時代初期に武士の時代を決定づけた出来事と言えば承久の乱ですが、ここで後鳥羽天皇が大きくかかわっています。
このように歴史上には「後～天皇」が少なくありません。しかし後桃園天皇を最後に、そのような諡号はおくられていません。明治以降は年号と合わせていますから、「後～」という年号が無いのに、天皇を「後～」とするわけにもいかないとは思います。
ヨーロッパの王室は、現在のイギリスもそうであるように、「～何世」のように呼ばれます。日本がそのような呼ばれ方になるのは変だと思いますが、将来どうなるのかは分かりません。遠い将来には、どのように呼ばれるようになっているのでしょうか。
普段からTiddlyWikiを使って情報を整理するようにしています。ファイルごとに、細かい設定は異なりますが、基本的な設定は揃えるようにしています。TW5のコントロールパネルから設定を変更しますが、その設定変更を他のファイルにも同じように適用したいのです。メニューを辿って、同じような設定変更をおこなう事はできますが、設定箇所が多岐にわたると、もうちょっと簡単にならないものかと思います。
そのような事が既に議論されているかと思ってGoogleにあるTiddlyWikiグループを探してみましたが、見つけられませんでした。TW5のファイルを調べてみると、TW5システムに関わる情報は、「$:」で始まるTiddlerに格納されているようです。そこで「AdvancedSearch」にあるFilterタブで、以下のような指定をしてみました。ここで本当は「$:/config/.*」のように指定したかったのですが、「$」があると正規表現として特別な意味を持ってしまうようなので、「.」を指定し「任意の1文字」としました。
[regexp[.:/config/.*]]
この指定で検索されたTiddlerをJSON形式でファイルに落としてみると、自分で変更した箇所だけが記録されているようです。このファイルを別のTW5にインポートしてみたら、同じ設定にすることができました。ついでに以下の情報もJSONに落としておきました。
[regexp[.:/themes/.*]]
このようにシステムTiddlerをJSONファイルに落として、別のTW5で読み込むという方法が、正式な方法なのか、それともUndocumented futureなのか判断できません。しかし目的は達成できているので、当面はこの方法でしのごうと思います。
僕は放送大学教養学部に在籍しているので、放送大学付属図書館が提供する電子ブック・電子ジャーナルを利用できます。他の大学図書館でも電子書籍が利用できるようになっていると思います。もっとも利用可能な電子書籍は、大学ごとに契約形態が異なるでしょうから、細部は異なるとは思いますが、膨大な資料を参照できることには変わりありません。
大学図書館に限らず、公共図書館でも、蔵書を探すためにOPACを使うのが便利です。しかし開架されている書籍を眺めることも、思いがけない書籍に出会えるチャンスを与えてくれると思っています。ところが電子書籍は、書名やキーワードが明らかになっているものをピンポイントで探すことができるかもしれませんが、開架書籍を書棚で探すような行為は困難であるように思います。
さらに電子書籍を提供するサービスが幾つもあり、大学図書館では複数のサービスが使えるようになっていますから、自分が探している「書籍」や「論文」が、どのサービスにあるのか、もしくは何処にもないのか、調べるのが大変です。ひとつひとつのサービスの検索機能を使って個々に探していけば確実だと思いますが、もうちょっとなんとかならないかと思います。
放送大学には「日本語アカデミックライティング（’２２）」という「書く」スキルに関する科目があります。その一環として図書館などで資料を探す行為も出てくると思いますが、むしろ電子書籍などを「探す」スキルに関する科目も欲しいと感じています。資料を「探す」行為は、学問分野を問わず、大学や研究機関の関係者であれば、誰でも日常的におこなっている筈です。しかし、もしかすると誰も手探りで「探し」ていて、職人芸的なスキルに留まっているので、授業科目には難しいのかもしれません。
膨大な情報に流されず、求める資料を的確に見つける能力の養成は、放送大学が提供しようとしている理念にも合致するのではないかと思います。
プログラミング言語Haskellを勉強しようと思っていますが、これは数学者Haskell Brooks Curryに因むのだそうです。プログラミング言語の名前の付け方は、Fortran、Cobol、Lispのように機能を表現する単語を略して出来ているものもありますが、過去の人の名前に由来するものもあります。その例がプログラミング言語Adaで、イギリス貴族Augusta Ada Kingに因むようです。
これらの両名は偶々どちらも数学者ですが、そのプログラミング言語の設計に直接関与している訳ではありません。そうならば、和算で有名な関孝和も何かのプログラミング言語の名前につかってくれても良いのではないかと思います。
図書館から『関数プログラミング入門 Haskellで学ぶ原理と技法』を借りてきて読んでいます。Haskellを学んでおくことは思考の幅を拡げるのに、とても良いと感じています。
しかしながら難しい概念がない訳ではなく、「第1章 基本概念」の「1.4.2 カリー化」で書かれている「カリー化」は理解するのが難しそうです。そこでは、次のように書かれています。
説明のために以前取り上げた関数smallerを再考しよう。
smaller :: (Integer,Integer) → Integer
smaller (x,y) :: if x ≦ y then x else y
この関数smallerは整数の対という単一の引数をとり、整数を返す。もう1つ別の方法で、本質的には同じ関数を定義する。
smallerc :: Integer → (Integer → Integer)
smallerc x y :: if x ≦ y then x else y
こちらの関数smallercは2つの引数を1つずつ順にとる。
これがカリー化というものらしいのですが、このようにする意義がよくわかりません。Haskellには他にも難しい概念がありますが、ひとつずつ学んでいこうと思っています。
JRで特急や新幹線に乗っていると車内販売が来ることがあります。そこで駅弁を買うとしたら、その消費税率は10%でしょうか、それとも軽減税率の8%でしょうか。JR東海パッセンジャーズのサイトを見ると、「東海道新幹線弁当」が1,080円なので税率8%のように見えますが、本体価格982円で消費税10%なのかもしれません。また「二段重 山 ～鶏とだし巻卵～」が1,000円なので、本体価格926円で消費税8%とも、本体価格909円で消費税10%とも考えられます。
同じような事を考える人はいるもので、数年前に「新幹線・列車での車内販売は軽減税率の対象になるのか？」という記事がありました。法律上の正しい解釈は専門家がすることで外野が発言するのは正式な場では通用しないでしょうから、私がここで書いているのは、正式な解釈の提示ではありません。それはともかく、駅弁を何処で購入し、何処で食べるのかというのは様々でしょう。駅の売店で買って車中で食べるか、車内販売で買って車中で食べるかが、ほとんどではないかと思います。中には、駅の売店や車内販売で買っても、家に持ち帰って食べる人だっているかもしれませんが、少数派ではないかと思います。素人考えでは、車内というのは、食堂でもフードコートでもないと思っています。家で食べるのと同じようなものだから、駅弁を買う時は消費税8%だろうと期待します。
法律解釈というのは難しいもので、素人感覚に必ずしも合うとは限りません。上述した素人考えが、法律解釈としては間違っているかもしれませんが、法律が素人感覚からかけ離れてしまうのも考えものだとは思います。まっとうな手順を踏むのであれば、素人感覚と法律解釈が整合するように、出るところに出て解決を図るというのが、理想論なのでしょう。とは言え、そのような行為に一個人が労力を費やすのは容易ではないとも思います。
