前回
に引き続き、古典述語論理です。述語論理はとにかく細かいところがめんどくさくて、自分で勉強するのはともかく(いや、細かい話、好きなんですよわたしは)、教えるのはほんとうにつらいものがあります。
で、動画では、めんどくさい部分はレジュメに丸投げして、わりと骨太のアイディアのみを話しているので、それを楽しんでいただければと思います。
前期はとりあえず述語論理をさいごまでやります。ゴールが向こーーーうの方にかすかに見えてきました。
でもそれをやり終えたとしても、今期は学生さんに十分な教育を提供できなかったという思いでかなりつらいです(学生さんのほうがつらいか)。致し方ない部分も多々あるのですが、大学全体としてもそうだし、わたし個人としてもコロナに由来する業務量爆発に完全に振り回されています。
後期は落ち着いてやりたいです。できれば、動画を作って見てもらって、教室では演習に専念する反転授業にしたいなと思ってます。さてどうなることか。
前回のこれ
の続きです。大失敗したら書かなかったと思いますが、ひとまず大過なくスタートしたので書きます。機材だけでなくオペの問題などについても触れたいと思います。配信担当の人間のアタマの中のぐちゃぐちゃ具合をそのまま出しただけで、あまり有益情報はないかもしれません。
次のような立て付けで考えていました。
Zoomミーティングから直接YouTube配信は可能で、それがかんたんではあるのですが、どうにも画質が悪い。先生方のお顔はともかく、スライドがぼやけて見えないとなるとちょっとどうしようもないので、次のような機材で臨みました。(Zoomを高画質配信してる感じのをときどき見るんですがあれはいったいどうやってんのでしょうね。)
機材の中身は前回とほとんど同じです。
最後のポイントをmacOSで実現するのはわりと苦労します。配信するならWindows PCのほうがいいと思います。次のような先人の知恵をお借りします。
音声の取り込みはsoundflowerやLadioCastを使うのがスタンダードだと思いますが、どうもそれでは機能せず、結局background musicという仮想ミキサーを導入するとうまくいきました。
と、苦労したのですが、配信中に上記のモード切り替えを行うのにちょっとリスクを感じて、Zoomモードは取りやめにしました。。
開始前にZoomの参加者も含めて音声チェックなどしたかったのですができなかったことと、配信者のMBPからZoomミーティングを開いているので、それを講師の先生にどう見てもらうかが解決しなかったためです。
後者は、一人で授業やりながらZoom開いてYouTube配信してるなら生じない問題です。このあたりの配線というか段取りというか、考えれば考えるほどアタマが痛くなってきます。
ワンオペ前提でいろいろと想定して、ほぼ想定どおりに何とかこなせるということはわかりましたが、まあ移動込みの1日2回設営×2日×高温多湿はふつうに体力的にきついですね笑。
それに、Zoomミーティング開始、Twitterライブ配信開始、カメラ録画開始、YouTubeライブ配信開始、と順々に開始するのですが、ワンオペだと、どう考えてもこのうちカメラ録画を忘れますね。次回から紙に段取りを書いておくことにします。
先生にYouTubeのチャット欄の反応をどう伝えるか (講義中は見る余裕はない) 悩んだのですが、質問をピックアップしてmacOSの「メモ」にコピペしていって、質疑応答の時間にiPad上の「メモ」から見てもらう方式にしました。リアルタイムで更新できるのでこれはよいソリューションでした。
そんなわけで、配信中も、ミキサーでカメラとスライド、ピクチャー・イン・ピクチャーの切り替えをしながら、ZoomとYouTubeのチャットをチェックするという、わりと忙しい時間が続きます。
このあたり分業したいところですが、(まず人がいないのと) 分業のためにはまた別のデバイスが必要になって、そのネット接続にも気を遣わないといけないし、上の「メモ」連携もどうするか考えないといけないとかで、これはこれでしんどくなってきて、ワンオペでいいかと諦めてしまっているのが現状です。
まあなんとかなるでしょう。次回あたりで諸々が固まって巡航モードに入れればいいなと思ってます。
ひーひー言いながら動画を作っています。そして述語論理はいつまでたっても満足いく説明ができません。こちらもご批判たまわれば。
レジュメはこちらです。
動画はレジュメと合わせてご覧ください。
古典述語論理のパートは長いので、まだまだ作らないといけないですね。がんばります。。
論理学と関係ないですが、情報としては価値があると思いますので共有します。
いま、わたしの本務先で、YouTubeで配信するオンライン講義シリーズを提供しています。わたしは講義をする立場ではなく、カメラやPCを操作して配信を行う役割です。そこで、配信をどのようにやっているか、どこがうまくいったか、どこで失敗したか、などなどを差し障りのない範囲で共有していこうと思います。
以前にやった論理学のオンライン集中講義の配信についてはこちら。
今回は、講義開始に先立ってのオリエンテーションの配信です。
立て付けは以下のとおりでした。
比較的スムーズにいきましたが、ワンオペは厳しいなあという感想です。
今回は回線は部屋にあるWifiで、上りが60Mbpsくらいありました。十分ですね。
配線は画像のような感じ。
カメラとスライド操作用PCの映像、およびワイヤレスマイクの音声をAMPに取り込んで、それをMBPに送るという仕組みです。
AMPを使った理由は、3.5mmミニプラグのマイク入力が2個あるから(だけ)です。V-02HDというスイッチャーも持ってるんですがあれはHDMIでしかマイク入力できないんです。ともあれ、こういうの、ほしいですね↓
あるいは、複数人の声をきれいにとれる据え置き型のマイクがほしい！情報求む。
「シーン」を(1)開始前、(2)通常配信、(3)動画再生、(4)終了後、の4種類作りました。
「音声入力キャプチャ」のマイク音声に「ノイズ抑制」のフィルタを強めにかけました(-60dbくらい)。狭いところでやっているので、MBPのファンの音を拾ってしまうんです。
ともあれ、シーンを予め設定しておけば、わりとスムーズに切り替えできますね。
以上の機材の設営自体は20分くらいでできますね。
設営が終わったら、テスト用のYouTube URLからテスト配信をします。
それをiPadでモニターして、主に音声のテストをします。音量と、映像と音のズレのチェックですね。今回はOBSで300ms音声を遅らせるとまずまずだったように思います。
テストは10分くらいあればいいでしょうか。とにかく、設営からテスト、本配信までのプロセスを練習して、何度もイメージしておくのがだいじです。
配信が始まったら、iPadでモニターしつつ、AMPでスライドとカメラ映像の切り替え(PinP含む)、OBSでシーンの切り替えを行います。
YouTube上の配信映像・音声はかなり遅れて届くので、現場の切り替えのタイミングがわからなくなってきます。あまりずっとモニターする必要はないかもしれませんね。
YouTubeに加えて、iPhoneからTwitterライブ(Periscopeから)もするように命じられたので、そちらも同時に流します。こちらはモニターもせずほったらかしです。
映像やシーンの切り替えをしていると、YouTubeのコメントまではなかなかフォローできませんね。でもこれも練習とイメージトレーニングの問題でしょうか。
配信は基本的にきれいな映像と音で成功したと思いますが、YouTubeの配信を切ったあと安心して、Twitterライブを終了するのを忘れてました。あまり実害はなかったと思いますが。ほんとどれだけ緊張感をもっていても(あるいは緊張しているからこそ)なかなかすべてに気を配るのは難しいです。
次回からはこれにZoomミーティングが加わります。ワンオペでほんとだいじょうぶでしょうか。
ご存知のように今期の大学はオンライン授業で何とかしのいでいるわけですが、わたしも例にもれずたくさんの動画を作っています。だいぶたまってきたので、論理学の授業の動画(の一部)を公開することにしました。
まず、こちらからレジュメを見ていただいたら内容はだいたいわかると思います。前期は、古典命題論理→様相命題論理→古典述語論理、と進みます。
ここでは、様相命題論理パートの動画を公開します。古典命題論理は動画作るまでもないだろうということで動画はありません。レジュメだけで何とかしてください。述語論理はこれから作ります。
レジュメを読みながら見てもらうことを想定しています(各動画の概要欄にもレジュメへのリンクがあります)。9本、再生リストになっています。
真理表の計算はできるようになったけど、その次の様相論理や述語論理になるとちょっとしんどいなと思っている方の独習の助けになるかなと思いますので、お時間ありましたらご覧ください〜。
2020年3月25日京都新聞夕刊に寄稿させていただきました。「人文知のフロンティア」というシリーズの1回なので「論理学は人文学だ」というオチにしていますが、ともあれ中身を楽しんでいただければ幸いです。「論理が開く世界」は新聞社の方に付けていただいたタイトルです。
---
ケーニヒスベルクの街を流れるプレーゲル川に、中洲を経由して両岸を結ぶ7本の橋がかかっていた。いまはロシア領でカリーニングラードと呼ばれているが、当時はまだプロシア領である。街の人たちが川沿いを散策しているうちにある問題を思いついた。この7本の橋をすべて、重複なしに一度ずつ渡るような、ひとつづきの散策ルートは可能か。
この「一筆書き」問題が、天才数学者オイラーのもとに持ち込まれた。王道的な数学とは一見無関係なこの問題に、彼はなぜか興味を惹かれたようで、解決はほどなく、1735年の論文で発表された。答えは、一筆書きは不可能。7本の橋をすべて通過するようなルートには必ず重複が含まれることを、オイラーは証明したのである。
現代のグラフ理論の先駆けとして数学史上でも名高いこの証明だが、20世紀後半に活躍した哲学者、マイケル・ダメットのお気に入りの例でもあった。論理的な推論のもつ力と、そこに潜む根本的な謎を鮮やかに示す事例として、彼はいくつかの著作でこの証明を引き合いに出している。
オイラーの証明は、「7本の橋をすべて渡った」という前提から、誰もがその正しさを認める推論の積み重ねを経て、「どこかの橋を重複して2回渡ってしまっている」という結論へと至る。だから、前提が正しいなら結論も絶対に正しい。「絶対に」と言い切れるところが論理的な推論の力である。
他方で、7本の橋を通過したという情報さえあれば、この証明を利用して、その人がどこかの橋を2回渡ったことを、実地に検証しなくても、例えば自宅に居ながらに知ることができる。論理的推論は、直接見たり触ったりできる範囲を越えたところにまで、私たちの認識を拡大してくれる。これもまた、論理的推論の力である。
いや、そんなうまい話があるか、とダメットは言う。絶対に正しいというのは要するに「当たり前」ということだ。ふつう、当たり前のことを言っても情報は増えない。しかし、当たり前の推論を積み重ねることで、たしかに新しい情報が得られることをオイラーの証明は示している。まるでリスク無しの投資である。どうしてそんなことが可能なのか。
周りから手に入る情報を前提として推論を行い、その結論に基づいて行動する。「推論主義」を標榜するアメリカの哲学者ブランダムは、これが私たちの根本的なあり方だと言う。私たちは推論する動物なのである。論理的推論の可能性を問うダメットの疑念はまさに、私たちの存在の根幹部分に向けられている。
唐突だが例えば、公共料金引き落としの前日、「口座の残高は残っているはずだ」と推論する。「はずだ」は推論のしるしである。そこには、自分の判断への確信と同時に、直接確かめてはいないという不安感が表されている(しばしば不安は的中する)。ダメットによれば、このような日常的な推論だけでなく、絶対的に正しいとされる論理的推論でも、厳密に言えば「はずだ」がくっついてくる。推論はどこまで行っても、そうなっている「はずだ」に留まり、実地に検証した「である」には届かない。
面白いのは、にもかかわらず、私たちはこの「はずだ」を、当然のように「である」に読み換え、推論の結論を、あたかも直接確かめた事実のように受け入れていることである。これでいいのだろうか。よくないかもしれない。でも仕方ない、これが私たちなのだとダメットは言う。正当化できない読み換えをやってでも、実地検証の範囲を越えて新しい知識を得ようとする。私たちはそういう存在なのである。
もう一歩踏み込もう。実地検証の範囲では、私たちと世界は言わば密着している。直接確かめられるものだけが存在するものである。推論がもたらすのは、直接見ることはできないがそうなっている「はず」の世界がそこに存在するのだという、私たちと世界の間の新しい関係性である。哲学的には実在論と呼ばれる。推論的動物たる私たちは、いつの間にか、世界のあり方についてのある一定のコミットメントも背負い込んでいるのである。
ダメットの破壊的な、しかし精緻な議論は、19世紀後半から爆発的に発展した形式論理学の成果に支えられている。大学で授業を受けた方はご存知のとおり、手法的にはほぼ数学になってしまって、論理学者たる私の書く論文も記号だらけだが、依然としてその関心は「私たちは何ものなのか」という問いに向けられている。その意味で、論理学はいまもなお、人文学なのである。
(2020年3月25日 京都新聞夕刊)
---
(追記)
本文中で言及したダメットの議論は
と
の第7章"The origin and role of the concept of truth"で展開されているものです。この論文、この章が好きなわたしは、ダメットの正統的な読み手ではないのだと思いますが、「やっぱりちょっと実在論も必要なんちゃうかな」と言ってしまうダメットはやはり魅力的なんですよね。
京都大学のCAPE主催の公開セミナー「論理学上級」をYouTubeでライブ配信しました。今後、役に立つかもしれないので情報共有します。
「論理学上級」は毎年この時期に行っている論理学の集中講義です。わたしは一昨年から担当させてもらっています(一昨年、昨年、今年)。大学の(文系の)授業ではやらないようなアドバンストなトピックを、ある意味では講師の趣味丸出しで、思い切ってやってみようという試みです。京大の正規の授業ではありません。
今年は3月14,15日に矢田部俊介先生、21,22日にわたしという担当で予定していました。どちらも1日3コマ(5時間)程度×2日というかなり長時間の講義です。
例年はもちろん京大の教室で講義していたのですが、今年の新型肺炎の影響により、まず教室での講義と並行してウェブ配信を行うことに決めました。基本的に少人数の講義なので、教室で行っても感染リスクは低いだろうということと、それでも、出席したいが自粛するという方もいらっしゃるだろうということ、両面を考えてのことでした。
それが急転直下、3月12日に京大文学研究科から「3月16日からの教室使用を当面禁止する」旨の通達が出されます。14,15日は形式上は使用可能ですが、通達の趣旨を踏まえて、私たちも教室使用を諦めることにし、ウェブ配信一本で行うことにしました。配信はYouTubeで行うことにしました。
配信にかかわるテクニカルな事柄(機材、ソフトなど)はすべてわたしが担当しました。ふだん動画作成などもやっているので、こういったことについては詳しいほうだと思いますが、配信に関してはまったくの初めてでした。
まず考えたのは配信はYouTubeにするかZoomにするか、です(ちょうどZoomが脚光を浴び始めた時期でした)。以下の理由からYouTubeに決めました。
と並べてみると、要するにYouTubeのほうが馴染みがあった、ということに尽きますね。Zoomについてはこちら側でも聞き手側でもこれから馴染みが出てくるのだと思います。
一方、YouTubeで心配なのは相互性でした。受講者からの質問はチャット欄で文字だけになってしまうし、講師からしてもリアルタイムの「顔」の反応が見えないのは不安です。ということで、YouTubeでの配信と並行してZoomミーティングも開いておくことにしました。
講義の様子は以下のアーカイブから見られます。
3/14: https://youtu.be/KrX0Efnulgg
3/15: https://youtu.be/Pf1YU4JEkkw
3/21: https://youtu.be/CGjikv5m6Ys
3/22: https://youtu.be/bRE0L08kh6I
14,15日はわたしが所属する「人社未来形発信ユニット」のセミナールーム、21,22日はわたしの研究室で行いました。どちらも壁一面がホワイトボードです。尋常でなく長いという点を除けば、画質・音質ともに十分だと思います(少しカクつく時間帯はありました)。
機材セッティングは次のような感じです(汚いですが)。
カメラ：Panasonic Lumix G8 (レンズキット付属のデフォルトレンズ)
PC：MacBook Pro 16inch (現行上位機種カスタマイズなし) これはめちゃくちゃ高いやつですが、少し非力な2015モデルMacBook 12inchでも問題はなさそうでした(長時間の安定性については未テスト)。
キャプチャーボード：Pengo HDMI Grabber 1080p (カメラから出力したHDMIをMBPに入力するための変換器です。)
ワイヤレスマイク：Rode Wireless Go (5時間講義ぶっ続けでも電池もった！)
Wifi : 有線のほうがいいんでしょうが、部屋のルーターから出しているWiFiで十分でした。上りが30mbpsくらい。
ソフト：OBS。OBS Studioで高画質・高音質な配信をする方法 - 新・VIPで初心者がゲーム実況するには などを参考に設定しました。画質や音質の設定はちょっと気にする必要がありますが、OBS自体は直観的に使いやすいです。
セッティングはこれだけで、拍子抜けするほどシンプルです。設置状況はさまざまだと思うので、気をつけるべきは、電源・カメラ→PCの入力・LAN(有線なら)それぞれのケーブルの長さです。
これらに加えて、YouTubeのチャット欄＋Zoomミーティングの表示用にもう1台PCを立ち上げておきました。
今回は、今後のユニットの活動に活かすための試行ということで、かなりちゃんとしたユニットの機材を借りられたのでラッキーではありました。どれだけスペックを下げられるかはわかりません。それに、いまの機材であとどれだけクオリティを上げられるかも。
セッティングが固まれば、準備はかんたんです。15分くらいあれば大丈夫でしょうか。ただし、今回ははじめてだったので、何回もテスト配信をするなど準備に数日かかりました(きらいではないので楽しみましたが)。
おかげさまで、配信にかんする技術的なトラブルはなく、合計20時間ほど安定した配信ができました。
Zoomは基本的に開店休業状態でした。また講師側としてはYouTubeとZoomを同時にハンドリングするのはなかなか難しいと感じました。1コマ終わったあとなどにYouTubeは一時ストップしてZoomに移りまとめて質疑応答用の時間をとる、といった運用がよいかと思います。
聞き手のリアクションが見えないというのは不安でしたが、やってみると、正直あまり違和感を覚えず喋りまくりました。これは、わたしがもともと聞き手とあまりインタラクションをしないタイプの人間だからかもしれません。
教室講義を想定して作った内容をまったく改変せずに配信にぶつけて、しかも1日5時間というのはちょっと常軌を逸しているかもしれませんが、ま、好きな人はこのくらい大丈夫なのではないでしょうか。アーカイブもあるしね。
配信中のリアルタイム視聴者数は、14日：70〜80人、15日：40〜50人、21日：30〜40人、22日：25人程度、でした。22日はさすがにツワモノだけが残っていたようで、視聴者数はずっと安定していました(^^)
ぜんぜん多くはないのですが、もともとかなり論理学のかなりマニアックな話題を扱う講義で、例年の受講者数はせいぜい20人程度ということ考えると、こんなものではないでしょうか。アーカイブの視聴者数も考えると、わたしとしては十分です。
他方でツイッターでは、わたしはフォロワー数1000人程度の弱小アカウントですが、こういう時勢ということもあり、告知ツイートに多くのRTやいいねをいただきました(100いいね越えることなんて普段ないんですが)。正直、この講義の内容をしっかり見て楽しめる人は少数だと思いますが、多くの人に向けて「やってるぞ感」は出せたのではないかと思います。
新型肺炎はさっさと収まってほしいですが、今後もこういう試みは続けていこうと思います。ご意見ありましたらお寄せください。
