2020年2月21日金曜日

特集−量子コンピュータ(3)

特集−量子コンピュータ(2)からの続き

9.田中成典(計算生物学)
  量子と生命(11p ☆☆☆☆)
量子生物学というキーワードは1969年に大木幸介さんのブルーバックスを買って以来だ。最近注目を浴びているのは2007年の光合成系の量子コヒーレンスを契機としている。以前取り上げた鳥の磁気コンパスの話題もそれで,生物の感覚センサー機能における量子現象が注目されているとのこと。著者は量子多体系の第一原理計算についての素養があるので,生命現象の本質と量子計算の関りについて,生命量子計算や量子知性というキーワードで照射しようとしている。予想以上に興味深い内容だった。

10.郡司ペギオ幸夫(生命基礎論)
   「わたし」に向って一般化される量子コンピューティング(14p ☆☆)
元神戸大学の原俊雄先生にいわせると,郡司ペギオ幸夫さんは天才だが(なので?),普通の人の理解の枠を越えている。目次や表題をみると非常におもしろそうなのだが,読み出すとほとんどついていけなくなるのが常である。今回のキーワードは認知的非局所性だったが,そのスタートのロジック「XであってXでない」につまずいてしまった。

11.全卓樹(理論物理学)
   量子力学と現代の思潮(10p ☆☆☆☆)
全さんは東大の有馬研の出身だ。昔,森田研でポスドクをされていた。兵庫県の中山間部であった深山良徳君の葬儀の帰りに車で送っていただいたことなども思い出す。全さんの論説を読むためにこの雑誌を買ったのだ。期待を裏切らず,自分の知りたいと思っていた量子力学の「観測問題」をすっきりと整理してくれていた。東北大学の堀田昌寛さんは,コペンハーゲン解釈は量子力学の認識論的解釈であると言い放って,多世界解釈を簡単に斬って捨て,量子力学に観測問題などないと断定している。なんか違うのよね。哲学を含む人文科学一般について深い知識を持っている全さんは,スタンフォード哲学百科のミルヴォルトの整理に準拠して問題を解きほぐしてくれるところから始め,時代思潮と結びつけて着地する。この雑誌の特集の趣旨を十分に理解した論説だ。

12.内井惣七(科学哲学)
   無時間,無空間からの出発(8p ☆☆)
内井さんの本も何冊か挑戦しているのだけれど,まったくピンと来ないことが多い。なぜだろう。量子重力のロヴェリを最初に持ってくるところで引っかかるのかしら。いや,ライプニッツのモナドとの関連は確かにいいところをついていると思うのだ。でも確率のコード解釈がどうのこうのという結論へ向って,まったく筋が追えなくなってしまう。科学哲学の人の書いたもの,読める場合と読めない場合がある。認知の抗体反応を起してしまうのかもしれない。


2020年2月20日木曜日

新型冠状病毒肺炎

アメリカ合衆国には,アメリカ疾病予防管理センターCDC : Centers for Disease Control and Prevention )があり,年間88億ドルの予算で本部支部を併せて15,000人が働いている。中華人民共和国にも,中国疾病管理予防センター(ChinaCDC : Chinese Center for Disease Control and Prevention )があって,新型コロナウイルス肺炎に対応している。ちなみに,日本の国立感染症研究所( National Institute of Infectional Diseases )は,年間約60億円の予算約360人が働いている(予算も組織規模もNIIDのページではまったく見えてこない,日本の情報公開の程度がよくわかる)。そもそも研究組織という位置づけであるため,アメリカCDCより1.5〜2桁小さい規模にとどまっている。防衛省に投入している国家資源の5%でもこちらに振り向けたらどうなのよ

神戸大学の岩田健太郎は,しばらく前まで,新型コロナウイルス肺炎は心配しなくて良い,むしろ,子宮頸癌ウィルスのワクチン忌避のほうがよっぽど問題だろうなどと煽っていて,印象が大変悪かった。その彼が,YouTubeに「ダイヤモンド・プリンセスはCOVID-19製造機。なぜ船に入って一日で追い出されたのか(2/20削除…相当圧力がかかったのではないか)」を投稿して,急きょ注目を集めている。これが事実ならば厚生労働省など政府のトップの判断とリーダーシップはひどいものだ(まあどの案件もそうですけど・・・)。海外発生期→国内流入期→国内流行早期✓→国内蔓延期という流れのなかで今後への不安がいやおうにも増してくる。

ChinaCDCが「The Epidemiological Characteristics of an Outbreak of 2019 Novel Coronavirus Diseases (COVID-19) — China, 2020」として,最新のデータを分析した結果を2月17日に公表した。その一部を抜粋すると,

  感染確認者  死亡者 致死率
全体 44,672(100)    1,023(100)   2.3
年齢
   0–9        416 ( 0.9)   −      
 10–19      549 ( 1.2)     1 ( 0.1)    0.2
 20–29   3,619 ( 8.1)     7 ( 0.7)   0.2
 30–39   7,600 (17.0)   18 ( 1.8)   0.2
 40–49   8,571 (19.2)   38 ( 3.7)   0.4
 50–59 10,008 (22.4) 130 (12.7)   1.3
 60–69   8,583 (19.2) 309 (30.2)   3.6
 70–79   3,918 ( 8.8) 312 (30.5)   8.0
 ≥80       1,408 ( 3.2) 208 (20.3) 14.8
性別
 男性 22,981 (51.4) 653 (63.8) 2.8
 女性 21,691 (48.6) 370 (36.2) 1.7

Table 1.  Patients, deaths, and case fatality rates, as well as observed time and mortality for n=44,672 confirmed COVID-19 cases in Mainland China as of February 11, 2020.

要するに私も該当している高齢者のみ危険ということではないか。そうならば日本政府の対応も逆によく理解できる。この際,(東京オリンピックに差し障りのない範囲で)パンデミックを引き起こして,財政負担をかけている高齢者を一掃してしまおうと考えてもおかしくないし,そのためのテストベッドとしてダイヤモンド・プリンセスを(消極的に)使うことにも吝かではないのだろう。

[1]「ものすごい悲惨な状態で、心の底から怖い」ダイヤモンド・プリンセスに乗り込んだ医師が告発動画(Buzfeed)
[2]Update on the Diamond Princess Cruise Ship in Japan(CDC)
[3]「ダイヤモンド・プリンセス」から下船始まる 新型コロナウイルス陰性の乗客(BBC News Japan)
[4]ダイヤモンド・プリンセスからの下船始まる、船内の状況に専門家が警鐘(CNN.co.jp)
[5]岩田健太郎先生の動画を拝見して(高山義浩)
[6]Coronavirus in Japan(CDC)

2020年2月19日水曜日

特集−量子コンピュータ(2)

特集−量子コンピュータ(1)からの続き

5.西村治道(量子計算)
  或る理論計算機科学の研究者から見た量子コンピュータ研究の歴史(11p ☆☆☆)
量子計算のはじまりを詳しく説明している。(1)ファインマン 1982 物理系のシュミレーションと量子力学,(2) ドイッチュ 1985 量子チューリング機械,(3) ドイッチュ・ジョザ  1992 量子アルゴリズム,(4) バジラニ・ベルンシュタイン 1993 量子計算量理論と万能量子チューリング機械,(5) ヤオ 1994 量子回路,(6) サイモン 1994 サイモンの量子アルゴリズム,(7) ショア 1994 ショアの量子アルゴリズム(素因数分解と離散対数),(8) グローバー 1996 グローバーのアルゴリズム(オラクル),このあたりから2000年をピークとする第1次量子計算ブームがくるわけだ。西村さんは名大の情報学研究科,情報文化学部のひと。

6.佐藤文隆(理論物理学)
  hのない量子力学(2p ☆☆)
  機器が作る世界
佐藤さんの量子力学に関する本も最近買ってはみたけれども・・・あまりおもしろくなかった。今回の論説で印象に残ったのは,量子力学の教科書の話だ。従来型のシュレーディンガー方程式と原子構造から解きほぐすものではなく,状態ベクトルから出発しコヒーレント表示の重要性を指摘している現代的な量子力学の教科書がお薦めされていた。例えば,桜井純,ペレス,アイシャム,北野正雄などの教科書など。

7.北島雄一郎(科学哲学)
  情報の観点からみた量子力学(11p ☆☆☆)
Clifton Bub Halvorson によるCBH定理(2003)に焦点を当てている。運動物体の電気力学の議論で,アインシュタインがエーテルの性質に基づく構成的なアプローチから,原理的なアプローチ(すべての慣性系で物理法則は同じ形になる)をとったのと同様に,量子力学を微視的な粒子や波動についての理論から,情報理論的な原理に基づいた理論に転換するという方針で,CBH定理が導入された。そのために導入されるC*代数の枠組みがどこからきたのかが問題になっていると,参考文献をあげながら丁寧に議論していた。結局CBH定理はよくわからなかった。北島さんは科学哲学の人だけれど,京大工学部原子核工学修士出身なので,理系のセンスは十分。

8.丸山善宏(圏論的統一科学/現代の自然哲学)
  圏・量子情報・ビッグデータの哲学(13p ☆☆☆☆☆)
  情報物理学と量子認知科学から圏論的形而上学と量子AIネイティブまで
この現代思想の特集号で一番おもしろかったのが,この論説である。専門分野の表記がぶっとんでますね。丸山さんは京大の白眉センターの助教。京大総人(理)→京大文修士→オックスフォード大計算機科学科量子情報G博士課程という経歴だ。参考文献があがっていないが,思わず調べたくなるような話題が連なっていた。ハーディのパラドックスから量子論の五公理(確率性・単純性・部分空間・合成性・連続性 2001)がひとつ。量子論理と作用素代数が量子論の2つの異なった定式化であり,量子論の情報論的定式化・情報論的再構成は実質的にこの2001年のハーディの研究から始まったという認識だ。さらに著者は,圏論的量子力学が2008年のアブラムスキーとクックの論文から始まり,論理と計算の圏論的意味論の技術が物理に応用されたとしている。このあたり,圏論を勉強していないのでまったくわからないけれど,なんだか面白そうなのだ。さらに,ペンローズの量子脳理論に話が及ぶ。普通の人は簡単にトンデモだとして斬って捨てるところなのだが,丸山は,ペンローズの話を換骨奪胎して量子認知科学の話へと繋げる道を示唆して見せる。最後に日本の現状への警鐘を鳴らしているが,量子ネイティブにもAIネイティブにも圏論ネイテイブにもなりそこねた旧人類はどうしたらいいのだろう。

2020年2月18日火曜日

昭和のプログラミング教育(1)

Facebookをみていたら(こんなのばっかりだけど),恩師の楠先生のニュースが飛び込んできた。北國新聞の2月18日版「昭和のプログラミング教育、資料収集 元泉丘高教諭・楠さん」冒頭を引用してみよう。
昭和40~50年代、泉丘高理数科で行われた計算機プログラミング教育の資料を、当時の担当教諭が収集している。授業内容の記録、使った機器がほとんど地元に残っていないことから、現在は理工各分野で活躍する教え子から授業の感想文を募ってまとめる。今年4月から小学校でプログラミング教育が必修化されるのを前に、当時の「最先端」教育現場の記憶を次代に伝える考えである。
 資料をまとめているのは、楠(くすのき)禎一郎さん(93)=金沢市金石西1丁目=。旧制四高、東大理学部地球物理学科出身の楠さんは1958~77年に泉丘高で勤務し、68年にできた理数科を受け持った。
 同校は69年、世界初のプログラム機能付き電子計算機「AL1000」3台を導入した。プログラミングのできる計算機が大学、研究機関などでようやく普及し始めた時代、プログラミングによる「ユークリッド互除法」「素因数分解」などを課題として生徒に学ばせていたという。
 自宅を整理していた楠さんが、理数科で出題した課題やコンピューター実習室の配置設計図といった資料を見つけた。2018年に開かれた理数科の同窓会で授業の感想文を募集。東京工大教授や企業の技術者を含む教え子から多数の返事が寄せられた。
はい,この感想文を送ったうちの一人が私です。1969年に石川県立金沢泉丘高等学校の理数科1年(第2期生)でした。CASIOのAL-1000でプログラミングを学んだ。さらに,アナログ計算機で微分方程式を解いてレポートをまとめるなど。楠先生には1年から3年まで数学(甲と乙があってその片方)の授業を受け,理数科の2年のときはクラス担任だった。おととし,先生のリクエストに答えてお送りした返事が次の文章である。

平成30年9月23日
 理数科でのプログラミング教育のこと        大阪教育大学 越桐國雄
 私が,金沢泉丘高等学校の理数科の2期生として入学したのは昭和44年(1969年)のことです。3年間クラス替えのない8組として,40人のクラスメートとともに学びました。もう50年も前のことになるので,記憶もかなり怪しくなっているのですが,とりあえず,自分の中の物語を憶えている範囲で記してみます。
 理数科の二期生ということもあって,2年の担任だった楠先生なども授業を手探りでつくられているようでした。数学や理科?の授業が多く,その分,体育の授業が少ない中で,理数科向けの数学の授業では,同値関係?とεδ論法?とイデアル?とアフィン幾何?という言葉だけが,まったく分からなかった講義の中の微かな残像で残っています(記憶違いかもしれません)。
 コンピュータについてはニキシー管が並んだ,カシオ計算機のプログラミング電卓があって,4メモリ26ステップ?のプログラムが組めるというものだったと思います。こちらの方はとても興味をもって取り組むことができました。最後の課題として「整数の階乗を求める」というのがありました。がんばって考えてできた!と思ったのですが,土田君のプログラムのステップ数が最短だったということで,負けて残念だったという記憶が強く残っています。
 また,これとは別に,アナログコンピュータで微分方程式を解いてグラフを出力するという課題にも取り組みました。一人で残って作業しているときに,配線を間違えて,警告ブザーが鳴り響いて肝を冷やしたことを憶えています。単振動,減衰振動,強制振動のグラフを出力して,かなり丁寧なレポートを提出しました。
 その後,大阪大学理学部の物理学科に進んで,原子核理論を専攻し,大型計算機でFORTRANを走らせ,当時のベクトル型スーパーコンピュータの初期モデルと格闘しました。就職先の大阪教育大学では,情報教育の立ち上げに係わることになります。Macintosh40台でMathematicaの授業をやっていると,高校時代の情報教育の黎明期からたいへん遠くまで来たなと感慨深いものがありました。
P. S. 15年前に大阪教育大学の附属高校でお話しした際の資料(自分史のようなもの)を別添します。


写真 :北國新聞ウェブ版に掲載された楠先生の近影(2020.2.18)


2020年2月17日月曜日

特集−量子コンピュータ(1)

現代思想の2020年2月号vol.48-2の特集が量子コンピュータ−情報科学技術の新しいパラダイムだった。全卓樹さんの記事が載るというので,もうなくなりかけている近所の本屋を探してみたが,当然,そのへんの本屋には現代思想は置いてなかった。というわけで,早速アマゾンで注文することにした。19本の記事が227ページに渡っている。平均12ページ弱。

以下,簡単に感想を述べてみよう。

1.江間有沙(科学技術社会論)・藤井啓祐(量子情報)
  量子をめぐるエコシステム(13p ☆)
12月に行われた対談だ。江間さんの書いた量子エコシステムの図がキーポイントなのだが,これが今一つだった。例えば,量子計算+量子通信+量子計測というふうに分野を設定し,そのうえで,基礎と応用についての課題を整理してほしかった。それが,核スピンセンシングと量子暗号とビジネス利用がそれぞれ対等の概念群として表記されているのには参った。そもそもがこれなので,せっかく藤井さんがきているのに話が深まらない。


2.根本香絵(理論物理学)
  量子コンピュータ開発の現在と応用可能性について(9p ☆)
根本さんは,お茶の水の柴田文明さんの研究室の出身なので,専門は理論物理学となっている。1996年の博士論文は「A Quantum Langevin Approach to Open Systems (開放系への量子ランジュバンアプローチ)」であり,その後,量子情報を専門として現在はNIIに所属している。微妙にD-Waveをディスっているような気がしたが,NISQ(noisy intermediate scale quantum)マシンが重要であるというところがポイントだろうか。

3.竹内勇貴(量子情報)
  量子コンピュータの原理と優位性(16p ☆☆)
竹内さんは,阪大基礎工の井元信之さんの研究室でドクターを取り,NTTコミュニケーション科学基礎研究所に入っている。この論説は珍しく式がたくさん書いてあり,参考文献をきっちり上げていてわかりやすかった。グーグルが量子超越(スプレマシー)を実証したと主張しているマシンは,NISQのうちランダムな量子ゲートを用いるランダム量子回路の方法であるというところまで到達した。

4.細谷暁夫(基礎物理学)
  量子計算を哲学してみる(8p ☆☆☆☆)
自分が大学院生の時代に,細谷先生が所属していた阪大の内山研究室は,公式には基礎物理学講座という名前だった。ちなみに森田研究室は量子物理学第1講座で,金森研究室が量子物理学第2講座だったと思う。その後,大講座に再編されている。その細谷先生が東工大に移って,宇宙論を経由して1990年代の半ばごろから量子情報を研究されているのを遠くから眺めていた。この論説では,量子計算とは何かを簡潔に要領良くまとめていて非常にわかりやすい。東工大なので西森秀俊さんの量子アニーリングを正しく位置づけている。量子アルゴリズムを次の2つに分類しているのがよかった。(A) |Ψ〉を問題解決の手段とする。(B) |Ψ〉の実現を目的とする。その上でゲート型とアニーラ型を比較している。

2020年2月16日日曜日

赤死病

新型コロナウィルス感染症は,無能な政府の対応の結果,日本でもアウトブレイクしそうな勢いである。明確な症状がない状態で感染するところが最も問題らしい。高齢者であるという危険要因と毎日通勤しなくて良いという安全要因の狭間でニュースに浸っている。

それで思い出したのが,ジャック・ロンドンの「赤死病(The Scarlet Plague)」である。中学生から高校生にかけて定期購読していたSFマガジンに掲載されていたのを憶えている。早速調べてみたら記憶が混線していた。自分がSFマガジンで読んだつもりだった物語は,エドガー・アラン・ポーの「赤死病の仮面(The Masque of the Red Death)」の方なのだ。どうしたことだろう。

ジャック・ロンドンの赤死病が掲載されていたのは,SFマガジンの1968年8月号(110号)であり,自分が購読を開始したのがたぶん1968年9月号(111号)以降ではなかったか。ただ,その後バックナンバーとして何冊か買っているので,110号も手元にあったことは間違いない。1968年9月増刊号(112号)は入手できず,高校の部室から天井に通じる階段の途中にあったのを読んだ。我々のESSの部室コーナーの隣がマイナーなJRCの部室コーナーで,そこに一学年先輩の小豆沢さん(たぶん内科の小豆沢定秀先生)のSFマガジンが何冊かあった。はじめはまったく気がつかなかったが,ある日これを見つけてこっそりと読んでいた。

小豆沢さんは,軟派のようにみえていたのだけれど,卒業式で,過激な内容の答辞をかましていたのが印象に残っている。


画像:1968年当時のSFマガジンの表紙(引用)

2020年2月15日土曜日

兼六園

コロラド博士が日本のマスメディアの情報は当てにならないので,BBCCNNAl-Jazeeraを参照するようにとアドバイスしていた。ので,たまにこれらを見るようにする。ヨーロッパで最初のコロナウィルスの死者がフランスで出たというニュースが早速見つかった。

BBCのTRAVELで,Japan's 'perfect' national treasureとあったので,なんだろうと開いてみると,'Japan’s perfectly imperfect garden' ということで,兼六園を紹介するビデオクリップだった。Kenroku-en is considered one of Japan’s three great gardens – and its perfect natural look takes a lot of human effort. 兼六園の庭師のインタビューと庭園の特徴や様子の簡単な紹介だった。

写真:BBC TRAVELの兼六園の動画から引用

2020年2月14日金曜日

若草山

車検が終了した車を引き取りに行った。その後,某行事の下見ということで奈良に向う。秋田県の横手市ではこの週末がかまくら祭りなので,一年でも最も寒くなる頃だろう。奈良の鹿も冬の景色の中に溶け込んでいる。奈良奥山ドライブウェイの新若草山往復コースを進むが,山頂の駐車場には神戸ナンバーの車が一台停っているだけで閑散としている。他にはランニングまたは散歩の人がちらほら。奈良盆地が低く垂れ込めた雲の下にある。


写真:若草山から奈良盆地を望む。(撮影 2020.2.14)

2020年2月13日木曜日

国会の予算委員会のアレを筆頭としてJCとtwitterをめぐる頭の痛くなるニュースなどが続くお先真っ暗の本邦である。それにもかかわらず,twitter中毒の自分。小学校の算数で数字の4の書き方を指摘した記事があった。そのスレッドで,アラビア数字の起源は,字形の角の数が数字の値と対応しているので,4の上の角は離れているのが正解だという説があった。

少し調べてみると,4の上の角はくっついていて,下の四つ辻が三差路になっているとして,角の数を求めている図もみられる。なんだかなあと思っていろいろ探してみたが,アラビア数字の起源は,字形の角の数からきているという説はあまり信憑性がなさそうだ。


2020年2月12日水曜日

木谷千種

日本経済新聞の朝刊文化面に,なにわの街角十選の七回目として,木谷千種(1895-1947)の浄瑠璃舟が載っていた。この絵は大阪中之島美術館蔵となっているが,どこかの美術展でみてすごいなあと会話していた気がする。この絵を拡大して読み解くと,浄瑠璃の演目は梅川,忠兵衛,孫右衛門の登場する傾城恋飛脚の新ノ口村の段であり,横にある床本は伽羅先代萩なのだそうだ。西瓜,まくわ瓜をつんだ物売り舟,浄瑠璃を聴く大店のいとさんなど,大阪の夏の雰囲気で満ちている。

木谷千種の略歴によれば,12歳で渡米しシアトルで2年洋画を学んでいるとのこと。帰国後には,大阪府立清水谷高等女学校に進んでいる。清水谷高校といえば,入口豊先生とか姪御さんの谷口真由美さんだが,そういえば,大教大の経営協議会委員や監事を務められた,元和歌山大学学長の小田章先生もいらっしゃった。そうそう,浄瑠璃繋がりでは,豊竹咲寿太夫も忘れてはいけない。

2020年2月11日火曜日

ポン・ジュノ

パラサイトからの続き)

第92回アカデミー賞で,ポン・ジュノ監督(1969-)の「パラサイト」が,作品賞,監督賞,脚本賞,国際長編映画賞の4冠に輝いた。BSの中継を,主演男優賞(ジョーカーの補ホアキン・フェニックス),主演女優賞(ジュディのレネー・ゼルウィガー)のあたりから見ていた。途中で監督賞にはポン・ジュノが選ばれているのを知って,これは有力かもと思っていたら,外国語映画としてアカデミー賞史上初めての作品賞となった。感動的でしたね。

ポン・ジュノの主な監督作品で比較的簡単にアクセスできるのは次のようなものだ。
2000 ほえる犬は噛まない(フランダースの犬)
2003 殺人の追憶
2006 グエムル(怪物
2009 母なる証明
2013 スノー・ピアサー
2017 オクジャ
2019 パラサイト
いずれも,ソン・ガンホ(1967-)がしぶくて良い役を担っている。

ポン・ジュノは監督賞の受賞挨拶で,マーティン・スコセッシ(1942-)に最大級の賛辞を贈っているが,そのスコセッシもまた,今村昌平(1926-2006)などから影響を受けている。それにしても,最近の韓国映画や韓国テレビドラマの質は高い。パク・ウネ時代にはポン・ジュノは韓国政府からは冷たくあしらわれていたようだけれど,韓国としては映画産業の振興にてこ入れしてきたのだろう。

2020年2月10日月曜日

Japan e-Portfolio

公共財としての教育ビッグデータ(2)からの続き

文部科学省による「大学入学者選抜改革推進依託事業」が,2016年度から2018年度まで実施された。その狙いは次のようなものである。
本事業は,「思考力等」や「主体性等」を評価する大学入学者選抜改革を進める上での具体的な課題・問題点を整理するとともに,多面的・総合的な評価を行うための実践的で具体的な評価手法を構築し,その成果を全国の大学に普及することにより,各大学の入学者選抜の改革を推進することを目的としている。
人文社会分野(国語科),人文社会分野(地理歴史科・公民科),理数分野,情報分野,主体性等分野の5事業が選定され,それぞれの分野で代表大学の元に,複数の国立・私立大学等が参画した。

このうちの,主体性等分野では「「主体性等」をより適切に評価する面接や書類審査等 教科・科目によらない評価手法の調査研究」というテーマで,関西学院大学の代表のもとに,大阪大学,大阪教育大学,神戸大学,佐賀大学,早稲田大学,同志社大学,立命館大学,関西大学の9大学で進められた。その概要は以下の通りである。
学力の3要素の「主体性等」をより適切に評価するため,教育委員会,高等学校等と連携し,調査書・提出書類や面接等を実践的に活用する方法,高校段階でのeポートフォリオとインターネットによる出願のシステムの構築, 「主体性等」の評価尺度・基準の開発等を行う。
昨年(2019年)の3月18日には,文部科学省で委託事業成果報告会も開催されている。各教科分野での取り組みは,この度の大学入学共通テストへの移行になんらかの寄与をしているのだと思うが,主体性分野の方はより現実的な結果をもたらした。それが,2019年4月に立ち上がった一般社団法人教育情報管理機構とここが運営する高大接続ポータルサイトJapan e-Portfolio である。ベネッセのIDをそのまま使って高等学校からのデータ入力に対応していたものが批判され,2021年からは独自のIDシステムに変更するとしている。まあ,いくらあがいてもその背景にはベネッセがしっかりと食い込んでいるのだろう。

教育情報管理機構は元金沢大学学長の山崎光悦(機械工学)会長のもと,正会員として,改革推進事業を進めてきた大学を含む国公立大学法人や私立の学校法人など34法人が参加している。大阪大学だけが抜けたのはなぜだろうか。

そして,すでに令和2年度の大学入学者選抜には複数の大学でこのe-Portfolioが用いられることになった。はい,大阪教育大学も岐阜聖徳学園大学も入っております。

自分自身も,大阪教育大学の在職時に「eポートフォリオはいいんじゃないですか」と気軽に応援しつつ,大学の特徴づけのツールとしての活用に期待して推進する側にいたので,全く大きなことはいえないし,猛省しなければならないのだが,e-Portfolioがすべての高校生を覆うようになってしまうことには非常に大きな不安と危惧の念を持っている。

インターネット上の言説空間でも,まともな考えを持つ人々の大多数はこれに対する異議を申し立てている。まずいですよね。すべての高校生の活動が常に大学入試ポートフォリオという「金銭的」な価値に変換されて,365日24時間監視されているような心理的効果を持つシステムというものは。そして,これは,高校生だけでなく全ての子ども,あるいは場合によっては社会人(労働者)にまで伝染しかねないパンデミック同様の脅威なのだろう。来るべき未来に訪れるかもしれない個人情報システムによる個人資産の完全把握を凌駕する,個人の活動や思惟産物の完全把握は,全国民的DNAデータベースに匹敵する個としての人の危機かもしれない。もしくは,完全に単一化された人類の集合意識への進化への一里塚なのか・・・

2020年2月9日日曜日

稽古照今

にっぽんの芸能山川静夫が,「稽古照今(けいこしょうこん)=いにしえをかんがえ いまをてらす」という言葉をよく覚えておいてくださいとのこと。古事記の序文に出てくるもので,「莫不稽古以繩風猷於既頽・照今以補典教於欲絶」とある。「古(いにしえ)を稽(かんが)えて以(もつ)て風猷(ふうゆう)をすでに廃(すた)れるに縄(ただ)し、今を照らして以て典教(てんきょう)を絶えんと浴するに補(おぎな)わずということなし」であり,「昔のことをよく学び,すでに廃れてしまった道徳を見直し,今の基準とすべく失われかかっている尊い文献を補うために、この古事記を書き残しておく」とのことらしい。古事記編纂の趣旨である。ネトウヨの皆様にはよく肝に銘じてほしいところであるが,記録は全部廃棄したことにしてデータを改竄するのが最近のはやりなのだろう。

番組は,「蔵出し!名舞台~初世 吉田玉男」であり,ゲストの山川静夫とともに,玉男の名場面や思い出をたどるものだった。「曾根崎心中の天神森の段」,「菅原伝授手習鑑 丞相名残の段」,「菅原伝授手習鑑 寺子屋の段」,「心中天網島 河庄の段」が取り上げられた。英太夫の若々しい声や越路太夫の力強さが印象深かった。菅原伝授手習鑑の寺子屋の段は出遣いではないのだが,松王丸の迫力が凄い。


2020年2月8日土曜日

Scrapbox

スクラップボックスは,あの増井俊之さんが開発した,情報保存・共有システムだ。
いまでは,紙copiで(使わなかったけど)有名な洛西一周さんのNOTAで商品化されている。昔ちょっとさわってみて,結局使わずじまいだった。自分の情報保存コンセプトと微妙に食い違っている。いまは,もっぱらAppleのノートにためている。これはこれで問題があるのだけれど,MacからもiPhoneからもiPadからも同期しながらアクセスできるので安心だ。もっともうまいバックアップの取り方はよくわからない。

いろもの物理学者の前野昌広さんが,よくわかる熱力学の査読ページをスクラップボックスで作っていたので,さっそく参加させていただいて慣れない作業をしていたら,1章分のコメントページをふっとばしてしまった。ごめんなさい。悪いのは私です。で,調べたところ,バックアップのシステムが標準的にはついていないようだ。有償バージョンでどうなっているのかはわからない。落ち着いて作業することにしましょう。

2020年2月7日金曜日

悲しい個人番号カード

なんだか騙されて個人番号カードを作ることになってしまった。昨年,元の勤務先に書類を提出して数ヶ月,ようやく市から連絡の通知が来た。ご丁寧に,時間を予約してとりにきてくれとのことで,本日,市役所の地下に設けられた個人番号カード受付に行った。

ものものしいコーナで3人くらい同時に対応できそうな衝立ブースに職員が3,4人いて対応してもらった。準備物は事前のお知らせの通り,通知ハガキ,通知カード,身分証明(自動車運転免許証),印鑑の4つ。あとは,パスワードをあらかじめ決めておいたので,問題なく進行する。紙に書かされたパスワードを画面に入力するのがメインの手続きですぐに完了した。なんのことはない20分かかるといわれていたが,1人だと3分で終わりそうなので,予約制にする必要があるのだろうか。

カードを受け取って茫然自失となる。安っぽい感じで,自動車運転免許証より一回り小さいくてペラペラなのではないか(確認したら面積は免許証のサイズと同じで,ぺらぺらではなかったです)。へんな兎マークが付いていて色彩もいまいち。問題は写真。あらかじめ申請時に提出しておいたが,免許証より小さくて見るも無残なぼけぼけイメージになっていた。これでは本人確認できないんじゃないか。

その後,市役所の方に説明をきいたところ,さらに多くの問題点が発覚した。
(1)有効期限は10年だが,各種サービスと紐付けられたパスワードの有効期間は5年なので,これを確認されたうえで,市役所の人がサインペンで有効期間最終日を手書きした。おいおい,最初から印刷できないのか。
(2)遠隔地の戸籍関係書類は取り寄せられるのですねと聞いたところ(ほとんどそのために取得したようなものだったので),なんと,天理市は対応していないのでだめなのだそうだ。予算の関係その他でいつになるか分からないとのこと。えー,うそでしょう。
(3)ペイペイなどのスマホ決済サービスと連動した割引ができるとのことで,説明の書類をもらって帰ったところ,iPhone 6sには対応していないことが判明し,これも使えないのであった。だめだめだった。
(4)個人番号部分はみせると恥ずかしいものらしく,使うときはこの透明な袋にいれて下さいということで,部分的にグレイな四角が印刷されていて,個人番号やその他の部分を隠すポリプロの袋入りだった。ありえない。

以上のように,国が後先を考えずに推進しているようだけれど,制度設計や運用に完全に失敗している。この程度の個人番号カードしかデザインできなかったのかと思うとなさけない。ほんとうに貧しい国になってしまった。国会では毎日のように,安部やそのとりまきの非論理的ないいわけや利権まみれの暴走が続いていて,それを官僚機構が必死にささえている。そんな不合理が染みついてしまった。大学入学共通テストの失敗といい,行政がまともに機能しなくなっている。


2020年2月6日木曜日

非常勤講師後期授業終了

今日の物理学Ⅲ(振動・波動)で今年の授業はおわり。昨日と今日は期末テストだったが,できる人はできて,できない人はそれなりの問題でした。週に2日から3日大学に通って,面倒な会議もなく,研究室の学生指導もないので,楽といえば楽になった。それでも,自分の体力や気力や記憶力がゆっくりと衰えてきているので,負荷がかかるといえばそうでもある。鈴木先生から来年は物理をとっていない学生が半分以上という話を聞いたので,それはそれで戦々恐々かもしれない。



写真:近所に買物へ出る途中(2020.2.6撮影)

2020年2月5日水曜日

絵ことばLoCoS

絵ことばLoCosは,非常口のデザインでおなじみの,太田幸夫が1964年に考案した絵文字・絵ことばのシステムである。1964年といえば東京オリンピックが開催され,様々な競技の会場や案内のためのピクトグラムが実用的に広まった年でもある。

LoCoSはLovers Communication System の略で,世界の人が言語や文化の違いを超えて,恋人のように理解しあえるコミュニケーションメディアを目指して考えられた。1971年にウィーン国際会議で注目を浴び,1973年には講談社から「新しい絵ことばロコス」が出版されている。当時大学生の自分は,梅田の紀伊国屋書店で何度もこの本に魅かれて立ち止まり,買おうかどうしようかと散々迷ったのだけれど,結局買わずじまいだった。

それから40年たって,いまなら十分進化したコンピュータとネットワークの機能により,もっと簡単に使えるのではないかと思って,いろいろ調べてみたけれど,誰もそれに着手していないようだった。うーん,もったいない話である。


[1]LoCoS WebSite Design (AM+A, 2007)
[2]LoCoS: 世界をむすぶ絵ことば(Kindle版,2018)

2020年2月4日火曜日

立春の問題

今日は立春。暖く晴れた春の一日。

こんな日は数学パズル。これを解くのがComputational Thinkingなのだろうか?
次の四角の中には1〜9の数が1回づずはいる。その配列を求めよ。という問題をtwitterでみかけた。
図 ピーターからの問題?

これを解くためにJuliaを用いると次のようになった。9重の整数のループがあってとてもださい。ループの範囲を集合にして1つずつ減らしていくということも考えられたが,もっときたなくなりそうなのでこれはやめ。それでも取り合えず答えは得られた。和と積で絞るのはちょっとトリッキーなので,正統的ではない。答えは1通りしかないというヒントに基づいている。
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 
function loop()
  for i1 in 1:9
    for i2 in i1+1:9
      for i3 in i2+1:9
        for i4 in 1:9
          for i5 in 1:9
            for i6 in 1:9
              for i7 in 1:9
                for i8 in 1:9
                  for i9 in 1:9
                    a=i1+i2+i3+i4+i5+i6+i7+i8+i9
                    b=i1*i2*i3*i4*i5*i6*i7*i8*i9
                    c=i1/(10*i4+i7)+i2/(10*i5+i8)+i3/(10*i6+i9)
                    if a==45 && b==362880 && c==1
                      return (i1,i2,i3,i4,i5,i6,i7,i8,i9)
                    end
                  end
                end
              end
            end
          end
        end
      end
    end
  end
end
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 
@time loop()
  0.191865 seconds (201.31 k allocations: 10.933 MiB, 2.17% gc time)
(5, 7, 9, 3, 6, 1, 4, 8, 2)


2020年2月3日月曜日

なにわ夫婦八景

松竹座の「なにわ夫婦八景」は,廓(かまえ)正子(1929-)の「なにわ華ものがたり」が原作で,桂米朝の妻の中川絹子夫人と米朝およびその弟子たちの物語である。したがって,真琴つばさが主人公なのだろう。

桂ざこばが米朝の師匠の四代目桂米團治,ざこばの娘の関口まいがその妻の役。ざこばも書かれたセリフがないときびしいのが残念だった。桂団朝を除いて,ざこばの弟子たちが米朝の弟子の役をつとめる。桂團治郎は五代目桂米團治の弟子か。

聞いたことのあるようなエピソードの連続で,説明的な脚本だったけれど,わかりやすいといえばわかりやすい物語,ものたりないといえばものたりない。そもそもの趣旨が桂米朝五年祭なので,これは,これでよいのだろう。今日は節分,豆まきの日でした。

2020年2月2日日曜日

コンピューテーショナル・シンキング(4)

コンピューテーショナル・シンキング(3)からの続き

パパートを源流としてウィングが口火を切った「コンピューテーショナル・シンキング(計算論的思考)」は,K-12にひろがるとともに,日本では「プログラミング的思考」と名前とその性格を変えて政策的な道具として用いられることになった。

そもそも「○○的思考は学校教育に欠かせない」という言説は,「○○力が未来の子どもたちには必要だ」というスローガンと並んで,近年の教育改革の通奏低音となり,政策推進のツールとして悪用されている。プログラミング的思考もその最先端の代表例である。

学校教育をめぐる目標設定では,常に怪しい看板がつけられはずされしながら,「子どもたちのために」,「国の将来のために」,「地球の持続可能な発展のために」という大義名分のもとに,隠れた利益誘導や思想誘導の道具として,○○的思考と○○力のオンパレードが続いている。

最近の○○的思考の○○には何が入りうるか。工学,科学,数学,論理,批判,問題解決,デザイン,なんでもいいのだが,これによって利益を得られる社会セクターの人々は,なまじ悪知恵が発達しているので,ありとあらゆる正当化の論理を繰り出している。

計算論的思考は,その定義からして,情報科学(Computer Science & Technology)の領域基盤の概観(内容・方法)に対応している。これを「読み,書き,算術」に加える21世紀の第4のリテラシーとして位置づけようとするものだ。2000年前後を境とする情報テクノロジーの発展と浸透により,その重要性が飛躍的高まった。それゆえ,あらゆる分野や階層の人々に関係するという意味で,他の○○に比べて優位性があるのは確かだと思う。

ただ,それは,これまで情報リテラシー,ICTリテラシーとよばれていたのではないか。高等学校に教科情報を導入して 20 年近く培ってきたものではないか。そこではプログラミングこそ背景に退かされていたものの,情報科学をバックボーンとして,その成果を活用する能力をいかに獲得するかが目標であったはずだ。

それが,看板を変えてまで,あらたなテコ入れの道具として化粧直しするときの名前がプログラミング思考だった。計算論的思考(この訳語も微妙なのですが)に比べれば格段と見劣りのするしょぼい目標設定になってしまってはいたが。「一つ一つの動きに対応した記号を,どのように組み合わせたらいいのか,記号の組合せをどのように改善していけば,より意図した活動に近づくのか」だと・・・あんたらなにゆうてんの・・・orz。

たぶん,この30年の日本の停滞と,機械学習,クラウド,IoTなどの進化による産業構造の本質的な変化の予感が,日本にあせりをもたらしているのだと思う。それが小学校へのプログラミング教育の導入とGIGAスクール構想(児童生徒一人一台のPC整備)へとつながった。そのビジョンの柱となる考え方をプログラミング的思考に落とし込んだところに本質的な欠陥があるような気がする。

なぜプログラミングの能力が全員に必要なのだろうか。自動車整備の能力がすべての国民に必要なのだろうか。散々議論した末に,プログラミングが柱ではなく,情報科学や情報技術によってもたらされた成果や,それを実現しているアプリケーションを組み合わせて活用することで問題解決することこそが重要だとしてきたのではなかったのか。

プログラミングを体験することが,コンピュータの活用の質を高めるために本当に必須なのだろうか。むしろ,生活や学習のあらゆる場面で,必要に応じて自由に情報デバイスを組み合わせて,文書を作成し,計算し,マルチメディア情報を処理して創造できる環境の整備とサポートの仕組みこそが必要なのではないだろうか。

マセマティカによって提供されるような,あるいはジュリア(プロセッシング)によって実現されるような柔軟性の高い情報処理環境が,すべての科学や文芸や芸術の分野で必要であり,そのための専門的な能力を養成するルートやそのための裾野の広い学びが必要であることは認めるが,それは,小学生全員にプログラミングを学ばせることとは別だと思うのだ。

2020年2月1日土曜日

コンピューテーショナル・シンキング(3)

コンピューテーショナル・シンキング(2)からの続き

ジャネット・ウイングがコンピューテーショナル・シンキング(計算論的思考)で名をあげて10年後の2016年3月に,その後の状況について報告するエッセイを書いていたことはすでに紹介している。

その半年後の2016年9月,マセマティカでおなじみのスティーブン・ウルフラムが,ブログに「How to Teach Computational Thinking」という記事を書いた。ウイングのエッセイや中島さんの翻訳をまったく知らなかった私は,10月ごろに当時,清教学園におられた田邊先生とのメールのやり取りの中で,このリンクを使い「Computational Thinkingがはやりそうですよ」とお知らせしていた。10年遅れで。ただ,この時期は例の有識者会議がプログラミング的思考というキャッチフレーズを掲げて4ヶ月後だったので,そのあたりを意識していたともいえる。まあいずれにせよ,7周半ほど周回遅れなのである。

ウルフラムのやってきたことや作り上げてきたシステムは,まさにコンピューテーショナル・シンキングの直球ど真ん中だったので,これはイメージを作りやすかった。ただ,そのまま日本のK-12に導入するには敷居が高すぎたた。Wolfram Alphaをもってしてもすでに手遅れというか,マセマティカの導入価格高騰によって,多くの大学からは潮が引くように撤退してしまったのではないだろうか。

2020年1月31日金曜日

コンピューテーショナル・シンキング(2)

コンピューテーショナル・シンキング(1)からの続き

タベシュの論文のさきほどの引用部分の前段には,コンピューテーショナル・シンキングの定義がある。また,最近の議論と直接関るものとしてしばしば引用される,ジャネット・ウィング2006年のACM論文(エッセイ)「Computational Thinking」についての言及もある。公立はこだて未来大学の中島秀之によるその日本語訳は,2015年になって「計算論的思考」として情報処理 Vol.56 No.6 に掲載された。また,林向達によって〔学習用翻訳〕計算論的思考として訳された。このページでは「計算論的思考」を用いよう。

タベシュの論文の要約の前段:
 計算論的思考は,コンピューターが効果的に実行できるような方法で問題を定式化し,その解決策を表現することに関与する思考プロセスとして定義できる。それは,問題を解決し,システムを設計し,人間の行動を理解する方法であり,コンピューターサイエンスの基本概念に基づいている。今日の世界で繁栄するには,計算論的思考が,人々がものを考え,世界を理解する方法の基本的な部分でなければならない。
 計算論的思考は,児童生徒にとって不可欠であり,K-12カリキュラムの一部である必要があるが,最初にそのルーツとコンテンツ開発の基礎となりうる教育学的モデルを検討する必要がある。
 計算論的思考の本質は,心の拡張としてのコンピューターと対話しながら創造し発見できることだ。このような概念は,パパート著書マインドストームで次のように想定されていた。
 パパートは,計算の2つの側面に注目した。1つは計算を使用して新しい知識を創造する方法,もう1つはコンピューターを使用して思考を強化し,知識へのアクセスパターンを変更する方法だ。最近では,ウィングが,計算論的思考に修正されたアプローチと新しい注意をもたらした。
 ウィングは,計算思考を,読み,書き,および算術と並ぶ,我々みんなの分析能力の基本的なスキルと見なしている。ウィングの論文は,すべての階層のコミュニティ,特にK-12で歓迎された。K-12コミュニティは反応が早く,ティーンエイジャー向けのアプリケーションの開発を開始し,進行中である。パパートの基本的なアイデアにアクセスしながら,計算論的思考を浸透させる手段としての問題解決に進む。
ジャネット・ウイングは2006年のエッセイで計算論的思考を次のように表現している。
・計算論的思考は計算プロセスの能力と限界の上に成立しているもので,計算の主体が人間であるか機械であるかは問わない。
・計算論的思考は,コンピュータ科学者だけではなく,すべての人にとって基本的な技術である。
・計算論的思考は問題解決,システムのデザイン,そして基本的なコンピュータ科学の概念に基づく人間の理解などを必要とする。
・計算論的思考とは再帰的に考えることであり,並列処理であり,命令をデータとし,データを命令とすることである。
・計算論的思考とは巨大で複雑なタスクに挑戦した り,巨大で複雑なシステムをデザインしたりすると きに,抽象化と分割統治を用いることである。
・計算論的思考とは予防,防御,そして最悪のシナリオからの復帰という観点を持ち,そのために冗長 性,故障封じ込め,誤り訂正などを用いることである。
・計算論的思考はヒューリスティックな推論により解を発見することである。
・計算論的思考は超大量のデータを使って計算を高速化することである。
これすなわち,コンピュータサイエンスの特徴を述べており,それが専門家だけでなくすべての人々にとって重要であるというのが彼女のビジョンである。これが K-12 関係者などコンピュータ教育にかかわる人々にヒットした。そしてその10年後には[3]にあるエッセイを書いている。

[1]コンピューテーショナル・シンキングについて(林向達,2017)
[2]Computational Thinkingに関する言説の動向(林向達,2018)
[3]Computational Thinking, 10 Years Later (Jeannette Wing,2016)
[4]〔学習用翻訳〕計算論的思考,10年後(林向達,2018)

2020年1月30日木曜日

コンピューテーショナル・シンキング(1)

コンピューテーショナル・シンキングが何であるのかの説明は,2017年のイランのシャリフ大学のタベシュの論文(Computational Thinking: A 21st Century Skill)が分かりやすい。

コンピューテーショナル・シンキングのルーツを辿ってみると,1つは,シーモア・パパート(1928-2016)の書籍 マインドストーム(1980)になる。LEGO Mindstormsの方ではない。その中に,はじめて,Computational Thinking というフレーズが一度だけ登場している。

タベシュは次のように書いている。
 パパートは,コンピューテーショナル・シンキング(計算思考)とデジタル教育学を,ピアジェが始めた教育の現代的アプローチに結び付けた。
 ピアジェは、構成主義として知られる学習理論の先駆者としてよく知られている発達心理学者である。簡単にいうと,彼は,学習者の経験と既存の知識の相互作用が,学習者の心に新しい知識を構築するとした。
 パパートは,構成主義の理論を発展させ,学習者が「意味のある産物を構築する」ことに取り組んでいるときに学習が強化されるという概念を追加した。
 我々は,パパートの問題解決法に基づいて計算思考を検討する。つまり,計算思考は,批判的思考と計算能力を組み合わせて,現実の問題に対する革新的なソリューションの基盤とするものだ。
 計算思考には,次の4段階の問題解決過程が含まれる。
・分解:問題を分析し,より小さい部分に分割する。
・パターン認識:データのパターン,傾向,規則性を観察する。
・抽象化:認知されたパターンを生成する基本原則を特定する。
・アルゴリズム設計:問題解決のための段階的な手順を開発する。
 実験的な問題解決の「遊び場」をつくって,これに各段階を接続する。
このモデルでは,遊び場は簡単にアクセスできる場所であり,学習者はフロー,パターン,対称性,パリティ,不変量,再帰などを探しながら,単純または類似のケースでモデリングやバックトラックすることにより,数値的,幾何学的および手続き的に実験できる。遊び場は,強制的な学びでなく認知的な学習を促進する環境を与える。

2020年1月29日水曜日

プログラミング的思考(2)

プログラミング的思考(1)では,小学校段階における論理的思考力や創造性、問題解決能力等の育成とプログラミング教育に関する有識者会議の議論の第1回と第2回の様子を検討したが,第3回についてはよくみていなかった。

ここが,「プログラミング的思考」と「コンピューテーショナル・シンキング」の分岐点になっているので,もう少し読み込んでみた。前回,第3回議事録ではプログラミング的思考が26回でてくるが,コンピューテーショナル・シンキングは消えたと書いた。消えていませんでした。これだから文部科学省の官僚はせこいのである。第2回で優勢だった「コンピューテーショナル・シンキング」より「プログラミング的思考」の方が行政用語としてふさわしいと判断したので,議事録では前回カタカナ表記だったものを英文表記の Computational Thinking(8件出現)に改めていたのだった。正しい官僚制なら表記は統一するのが本来の姿だろう。

「コンピューテーショナル・シンキング」が使いにくいというのはよく理解できるのだけれど,姑息な繕い方だ。桜の会の答弁を彷彿とさせる官僚的な悪知恵というふうに邪推してしまう私が哀れである。まあ,議事録の段階なので会議中は文字化されていないのだから細かい話ではある。

本質的な問題に戻ります。要は「プログラミング的思考」が会議の中でちゃんと定義されていないということだ。発言者によるそれぞれの主観で語られた言葉が,便利だったのでそれぞれの主観によって受け止められつつ,官僚的な取りまとめのプロセスを経ることによって,まったく変質してしまったというのが今回の状況だと思える。

大阪電気通信大学工学部の兼宗進さん:
たくさん出てきていますプログラミング的思考というものについて,議論の中で出てきたのが,定義が分からないものですから,簡単に教えていただければということと,海外ではComputational Thinkingというのがかなりキーワード的に使われているんですが,それと何か関連した概念なのか,それとも,全く別に,今回の議論から出てきたものなのかということで,御確認お願いいたします。
文部科学省の大杉教育課程企画室長が堀田主査と相談した結果として,例の定義をつくったようで,「1回目,2回目の議論の中で,複数の先生方から,Computational Thinkingの重要性を御発言いただいたことを踏まえて,それをプログラミング的思考という形で,しかも,小学校教育ということを踏まえて,少し表現を工夫しながら,御相談しながら置かせていただいているものでございます」と答弁し,堀田主査も「よろしいですか」でとばしている。それ,あかんやろ。

マイクロソフトの中川哲さん:
あとは,Computational Thinkingというのは,前回の私の発表の中でも用いさせていただいた言葉なんですけれども,参考情報としては、よく日本語では、コンピュータ的思考というような言い方をされます。でも、事務局の皆さんがこの言葉を使わなかったのは、「コンピュータになれと言ってるの?」というような誤解を生むのかなという懸念があるのも容易に想像できます。一方,プログラミング的思考という言葉も、耳当たりはいいんですけれども,内容がComputational Thinkingとイコールなのかというとそうでもなく,Computational Thinkingは,アメリカでは比較的頻繁に用いられている言葉ですので,例えば,Computational Thinkingの中では,データの収集・分析・表現というのはものすごく言われるんですけれども,そういうところはこの取りまとめの中では余り触れられていません。という観点から言うと,プログラミング的思考というのは、Computational Thinkingと比べて,例えば、データに関しては触れていないんですよということなのか,ここは言葉の定義をしっかりとする必要があるなというのは,私も後から見て感じました。
やはり,違和感ありありである。 堀田主査はこれも華麗にスルーして議論を収束させた。

2020年1月28日火曜日

プログラミング的思考(1)

小学校のプログラミング教育がそもそも何を狙っているかという話。

プログラミング教育の欠点(2)でみたように,小学校学習指導要領の中には,「プログラミング」というキーワードが登場した。そして,この小学校学習指導要領の解説総則編の第3章 教育課程の編成及び実施,第3節 教育課程の実施と学習評価,1 主体的・対話的で深い学びの実現に向けた授業改善,(3)  コンピュータ等や教材・教具の活用,コンピュータの基本的な操作 やプログラミングの体験(第1章第3の1の (3))に,「プログラミング的思考」という重要謎キーワードが以下のようにしてプログラミング教育の本質として使われている。

プログラミング教育とは
子供たちに,コンピュータに意図した処理を行うように指示することができるということを体験させながら,将来どのような職業に就くとしても,時代を超えて普遍的に求められる力としての「プログラミング的思考」などを育成するもの
プログラミング的思考とは
自分が意図する一連の活動を実現するために,どのような動きの組合せが必要であり,一つ一つの動きに対応した記号を,どのように組み合わせたらいいのか,記号の組合せをどのように改善していけば,より意図した活動に近づくのか,といったことを論理的に考えていく力
この言葉が,登場したのは平成28年(2016年)に開催された,小学校段階における論理的思考力や創造性、問題解決能力等の育成とプログラミング教育に関する有識者会議である。

第1回で,ヒアリングによばれた東京大学大学院工学系研究科特任准教授の松尾豊さんが,「プログラミング的な考え方を身に付けるというのを、非常に簡単なやり方でやることが重要なんじゃないかなというふうに思います」と発言し,ヤマハ株式会社事業開発部の隅井淳一さんが音楽教育とからめて「プログラミング的な考え方」といっている。

第2回では,ソニー・グローバルエデュケーション代表取締役社長の礒津政明さんが,コンピューテーショナル・シンキング=プログラミング的思考として,
プログラミング教育の本質が何であるかというと,御存じのとおり,コーディングというよりは,プログラミング的思考,先ほどもありましたが,コンピューテーショナル・シンキングと言われているところがプログラミング教育の本質ではないかと考えておりまして,この部分を強めるのが,プログラミング教育のあるべき姿だと感じているところです。
さらに,
少しまとめますと,いわゆるコンピューテーショナル・シンキング,プログラミング的思考というのは,日本の算数では,ある意味,既に内包されていまして,これ自体がプログラミング科目と言ってもいいんじゃないかというのが我々の結論です。
なお,この場で最初に,コンピューテーショナル・シンキングという言葉を持ち出したのは, その前に発言したマイクロソフト業務執行役員シニアディレクタ ーの中川哲さんだ。
コンピューターをよく理解している方がコンピューター屋とお話をして新しいインダストリーを作っていくということも,十分有効なことではないかなと思います。これをコンピューテーショナル・シンキングという考え方で分類されていて,アメリカの方ではよくお話をされていらっしゃいます。
こんな風にして,コンピューテーショナル・シンキング=プログラミング的思考がプログラミング教育の柱になる考え方として取り入れられていくことになる。 最後のほうにだめおしで,帝京大学教育学部で数学教育の清水静海さんが,次のようにまとめた。
論理的思考力や創造性,問題解決能力等の育成という大変広い視点からの整理と,それからコーディング,プログラム言語の方に寄り添った二つを例示されておりますけれども・・・プログラミング思考とかコンピューテーショナル・シンキング,これをこの二つの間に入れるべきではないかと。
コンピューテーショナル・シンキングが17回,プログラミング(的)思考 が8回登場した。

ところが,第3回では,コンピューテーショナル・シンキングという言葉は消えて,プログラミング的思考に用語が統一された。「プログラミング的思考」は議事録には26回,とりまとめ案には19回登場している。文科省の事務方や主査がこちらの用語でまとめることにしたのだろう。本来の流れでは,コンピューテーショナル・シンキング=プログラミング的思考だった。ここから,有識者会議で登場していたコンピューテーショナル・シンキングの概念からかなりずれた意味のプログラミング的思考(文部科学省が定義)の概念がはじまることになる。

2020年1月27日月曜日

フラッグシップ大学(2)


文部科学省の中央教育審議会のワーキンググループが,「Society5.0時代に対応した教員養成を先導する教員養成フラッグシップ大学の在り方について(最終報告)」を公表した。

教育再生実行会議は,安倍内閣の閣議決定による私的諮問機関であり,このような装置を用いて教育政策が恣意的に進められてきた。その第十一次提言が「技術の進展に応じた教育の革新、新時代に対応した高等学校改革について(第十一次提言)(令和元年5月17日)」である(参考資料)。

これを受けて,中央教育審議会初等中等教育分科会教員養成部会教員養成のフラッグシップ大学検討ワーキンググループが最終報告をまとめた。その概要は,冒頭で次のように紹介されている。
☆Society5.0時代に対応した,教員養成を先導するフラッグシップ大学(例えば教員養成の指定大学制度等)を創設する。
☆ STEAM教育や,児童生徒がICTを道具として活用することを前提とした問題発見・解決的な学習活動等についての高い指導力を 有する教員の育成を促進する。
つまり,フラッグシップ大学が具体的に何をすることが求められているのかというと,「Society5.0時代にふさわしい教員養成カリキュラムの研究開発(教科横断的なSTEAM教育・プログラミング 教育,AIやビッグデータ等に対応した特別の授業内容、指導方法等)」であり,普通だと概算要求プロジェクトとして公募をかけるような案件だ。

それが,新しいカテゴリーの大学をつくる(期限付きのようだが)ような話に持ち込んでいるのは,これをテコとして教員養成系大学の再編統合やコントロールにさらに手を突っ込みたいという文部科学省の意志の表現だと思う。もっとも,これまでもずっとそのための誘導政策は進めてきているが,肝腎のところで文科省の根性が足りないため,10年以上もずるずるとひっぱってきたわけだ。

あいかわらずのナンダカナー案件だが,いちおう行方は気になっている。


2020年1月26日日曜日

徳勝龍

奈良県奈良市出身の大相撲力士,西前頭17枚目の徳勝龍が令和2年の1月場所で優勝した。20年ぶりの幕尻優勝,98年ぶりの奈良県出身力士の優勝で話題になった。ちなみに東前頭筆頭の遠藤9勝6敗で殊勲賞,西前頭5枚目の炎鵬は8勝7敗で残念ながら技能賞を逃した。西前頭11枚目の輝は10勝5敗でらくらくと炎鵬に勝っていた。千秋楽のテレビにはしがみついて見ていたけれど,正大と御嶽海からはじまって,貴景勝と徳勝龍の対戦,優勝インタビューまで目を離せなかったし,久々の感動ものだった。

自分がテレビで観戦するスポーツで最も時間の多いのは大相撲だ。夫婦でよくみる。石川県からは相撲に強い力士が多く輩出されるからだ。富山県は前乃山くらいだけど。高校野球やプロ野球でもときどき松井秀喜のような選手が出てくるので目を離せない。スポーツは自分の中ではローカル・パトリオティズムと直結しているのであった。だからオリンピックはいやなのである。

奈良県出身の力士というのは誰かと思ってしらべると,鶴ヶ濱という名前がでてきたが,3名のうちで優勝したのは,1922年の東前頭4枚目鶴ヶ濱増太郎のようだった。相撲の起源は古代の奈良にあるのだけれど,相撲発祥の地として桜井市の相撲神社と葛城市(當麻町)のけはや座が争っている。これを機会にキャンペーンを繰り広げると良いかもしれません。

NHKの夕方の番組,ニュースホット関西や奈良ナビのスポーツコーナあたりで奈良県出身力士の勝敗情報が流れている。徳勝龍は十両あたりでいまひとつの成績だけど,とりあえずしょっちゅう目にしていたのだが,こんな日を迎えることになるとは,世の中何が起こるか分からない。



2020年1月25日土曜日

電子イオンコライダー(2)


そもそも,電子イオンコライダーの物理とは何だろうと思っていくつか資料を調べてみた。標語は結局こういうことだった。"The Next QCD Frontier − Understanding the glue that binds us all" なわけで,まあ,自分があまりよく分かっていないので,あまりおもしろいと感じてこなかった深部非弾性散乱だ。後藤さんによると,(1) パートン分布関数測定の精密化,(2)  核子・原子核のトモグラフィー,(3) グルーオン飽和,(4) 原子核内部でのハドロン化,なのでなんだかわくわくしない。

[1]The Electron-Ion Collider (BNL)
[2]The Electron-Ion Collider(JLab)
[3]A Large Hadron electron Collider at CERN(CERN)
[4]Electron‐Ion Collider (EIC) 計画と その物理(後藤雄二)
[5]An Assessment of U.S.-Based Electron-Ion Collider Science(2018)
[6]Electron Ion Collider: The Next QCD Frontier - Understanding the glue that binds us all (2014)
[7]eRHIC Design Study: An Electron-Ion Collider at BNL(2014)
[8]A Large Hadron Electron Collider at CERN: Report on the Physics and Design Concepts for Machine and Detector(2012)
[9]Electron Ion Collider User Group

2020年1月24日金曜日

湯川秀樹(2)

湯川さんといえば,大学院時代のゼミや博士論文審査会などは,理学部南の原子核実験施設の2F(1Fの高さにある)の入口を入ってすぐ右の雑誌室の隣にある湯川記念室で行っていた。この部屋の黒板の上には湯川さんの写真(下記参照)がかかっていた。大阪大学総合学術博物館湯川記念室のサイトのフォトギャラリーのA1ですね。あ,これは阪大提供の写真なので京大基研のようなうるさい条件はなくて,クレジットだけで使えるのか。湯川記念室はその後,阪大附属図書館に新たに部屋を設けられ,秘書(重永さん)もつくことになり,現在に至っている。

湯川さんを見たことが1度だけある。理学部物理の4回生のときに,毎回ゲストをよんで1時間くらいその専門分野の話を聞く授業があった。理学部5階のD501という階段教室で行われるが,誰でも参加して話を聞くことができるため,ノーベル賞2回受賞者のジェームス・バーディーン(1908-1901)のときなどは満席だった。湯川さんのときもそうだった。ただ,自分が湯川さんの話を聞いたのが,4回生のときだったのか大学院生のときだったのははっきり憶えていない。湯川さんはすでに京都大学を定年退職していて,病み上がりだったのかなんだかで,長いあごひげをはやしていた。で,なんの話をしたのかはまったく記憶にない。たぶん,あまりおもしろくなかったのです。

自分の所属していた森田研究室は,伏見研を引き継いだ内山研から派生しているので,湯川さんの流れを引いていることになる。また,研究内容も原子核における弱い相互作用と中間エネルギー物理であり,中間子交換流の話などまさにテーマのつながっているわけだった。したがって,いつも湯川ポテンシャルと戯れている人もいるのだった。

写真提供:大阪大学湯川記念室




2020年1月23日木曜日

湯川秀樹(1)

阪大の橋本幸士さんがツイートしていた。
「今日は湯川さんの誕生日とのこと。113年前の今日、湯川秀樹は生まれた。1世紀前の物理に想いを馳せるのに良い日である」
ということで,1月23日は湯川秀樹の誕生日である。

橋本さんが阪大の総合学術博物館の湯川記念室へのリンクを張っていた。なかなか良い仕上がりのページになっている。湯川秀樹の論文や資料,写真などが紹介されている。阪大の湯川記念室で所蔵しているものに加えて,小沼先生らが京大の基礎物理学研究所を基点に資料収集整理されたものの一部が阪大で公開されているようだ。論文や資料などはダウンロードすることもできるが,メールアドレスを登録してパスワードを請求する必要がある。早速試してみたが,登録の目的をきかれるのがちょっと面倒である。また,京大基礎物理学研究所のクレジットが入ったものを使う場合は,事前の許諾が必要である。

この他にも,北沢さん,橋本さんや細谷さんの話とか,湯川さんが内山さんに出したはがきの筆跡鑑定から読み解く人物像などの記事もあってとてもおもしろいのだ。

[1]阪大理学部の創設と湯川秀樹(斉藤吉彦)
[2]理学部を語る(大阪大学理学友倶楽部)


2020年1月22日水曜日

電子イオンコライダー(1)

アメリカ合衆国のエネルギー省(DOE)が,次期加速器計画である電子イオンコライダー(EIC)の建設候補地を,ブルックヘブン国立研究所(BNL)に決定し,今後10年間に2000億円程度かけて建設する模様である。この計画は,80%偏極した5-18 GeVの電子と70%偏極した275GeVの陽子または100 GeV/uのイオンのコライダーである。

そうか,アメリカ合衆国の加速器施設を持った国立研究所はすべて,DOEの管轄だったのか。そういえば,2013-2017年のオバマ時代のDOE長官がMITで電子散乱の研究をしていたアーネスト・モニツ(1944-)だった。物理学者がDOE長官なのかと思ったけれど,DOEの歴史をみればむしろ自然だったのかもしれない。

ブルックヘブンのeRHIC計画は,対抗馬だったトマス・ジェファーソン国立加速器施設(JLAB)のJLEICを退けて,新施設の建設を勝ち取った。電子散乱といえば,CEBAFが有名だったのだが,これがJLABとして引き継がれていた。こちらのほうは,75-80 %偏極した3-12 GeVの電子(CEBAFを使う)と80%偏極した40-100 GeVの陽子または16-40 GeV/uのイオンのコライダーである。

一方,欧州原子核機構(CERN)のほうも負けていない。Large Hadron electron Collider (LHeC)を考えていた。こちらは60 GeV電子と7 TeV陽子または2.7 TeV鉛イオンのコライダーであり,将来的には10 TeV陽子とのコライダーになることも想定されている。


2020年1月21日火曜日

AI美空ひばり

NHKがお金をかけて,美空ひばりをAIで蘇らせる企画番組を製作し,2019年の9月に「NHKスペシャル AIでよみがえる美空ひばり」として放映された。その時点では見逃していたが,年末の紅白で使うためのプロモーションとして再放送されたほうを見た。いやー,映像のほうは全然ダメだったが,歌声についてはなかなか感動した。秋元康はそのビジネスモデルも含めてまったく好きじゃないのだけれど,1989年の「川の流れのように」はそこそこ良かったで,2019年の「あれから」も同程度によいと思った。さっそくiTunes Storeでダウンロードする始末だ。

ところが,ネット上では,有識者による批判の声が後を絶たない。うーん,なんでそこまで否定するのかしら。その場合,2018年の映画「ボヘミアン・ラプソディ」はどうするというのだろうか。これまでも多くの伝記映画がつくられており,あるいは故人についての様々な歴史を掘り起こして再現する物語が書かれていると思うのだが,その辺はどうでしょうか。

もちろん,機械学習とその周辺技術の進化によって,実在の人物とまごうかたなき存在を表現することが可能になりつつあるので,それについての倫理的な問題群はてんこ盛りでやってくるのだろう。あるいはそれを敏感に察知したカナリアたちが根源的で感情的な反発を様々な理論で武装して表現しているのかもしれない。それにしても「美空ひばりを冒涜するな」だとかそのエクストリームで「ファンを冒涜するな」とまでいいだすのにはちょっと首を捻らざるを得ない。

大学に入ったころは,美空ひばりを一番嫌いな歌手として得意げにあげていた。たぶん,演歌の持つ土着で非合理で自民党のような雰囲気を代表するものとしての「美空ひばり的な何か」に対する反発だったのではないか。その後,マンドリンクラブのK君による都はるみの涙の連絡船に感動するという話や,キダ・タローさんによる美空ひばりの絶賛やら,後年の岡林信康との逸話などによって,自分の美空ひばりに対する考え方はまったく変わってしまい,リスペクトするようになっていた。

2020年1月20日月曜日

1987,ある闘いの真実

韓国の全斗煥(チャン・ドゥファン)政権末期,1987年の6月10日デモから6.29宣言が出るまでの,大統領の直接選挙制改憲要求を中心とした運動が六月民主化抗争である。これによって第六共和制憲法が成立し,大統領の直接選挙が実現して1988年2月には盧泰愚(ノ・テウ)が大統領になる。

この背景には,1月15日のソウル大学校学生の朴鍾哲(パク・ジョンチョル)が警察による拷問で死亡した事件とそれに係わる隠蔽工作の発覚,4月13日の「今年度中の憲法改正論議の中止」と「現行憲法に基づく次期大統領の選出と政権移譲」を主旨とする「4・13護憲措置」の発表,5月27日の野党も含む広範な反政府勢力を結集した「民主憲法争取国民運動本部」の結成,6月9日の延世大学校学生の李韓烈(イ・ハニョル)が警察の催涙弾直撃を受けて重体(7月5日に死亡),などの事件が起こっている。

これらの一連の事件を史実に基づいて構成し,2017年に公開された映画が張俊煥(チャン・ジュナン)監督「1987,ある闘いの真実」である。30年前の出来事であるが,韓国の民主化運動の熱気が伝わってくる。それは北朝鮮との緊張関係を背景とした反共政策の苛烈さと対応している。そして,それが韓国ジャーナリズムと現在の日本のジャーナリズムの違いを際立たせてもいる。通常国会が始まったが,NHKの岩田の解説に反吐が出そうになる。映画はとてもうまく作られていておもしろかった。日本アカデミー賞を6部門も受賞した「新聞記者」と比べると良いかもしれないが,軍配はチャン・ジュナンにあげたい。

ある意味,日本はぬるま湯であり,かつ茹でガエルであり,そのなかで肥大化した社会の慣性が世襲化の進行=既得権益の確保を温存している。これに対抗するグローバリズムに支えられた新自由主義は右翼的セクターを巻き込んで,基本的人権や民主的な組織を破壊し続けている(既得権益を持つ勢力と直交しているわけではない)。

2020年1月19日日曜日

科学者の墓

京都の八坂神社円山公園の南に,親鸞聖人の墓所(東本願寺)がある大谷祖廟とそれに隣接する東大谷墓地が続いている。朝永振一郎の墓もその一角にある。湯川秀樹の墓は知恩院の裏山らしい仁科芳雄の墓は東京都府中市の多摩霊園だが,その横にも朝永振一郎の墓碑があるようだ。

[1]科学者の墓(世界恩人巡礼大写真館)
[2]物理学者の墓を訪ねる(山口栄一)
[3]科学者の魂を探して(日経xTECH)
   自由な研究風土が開いた物理学大国への道
   日本の物理学と技術イノベーションのルーツ
[4]ウエストミンスター寺院(ロンドン)
[5]パンテオン(パリ)
[6]ヴァルハラ神殿
[7]ガリレオの墓(全優石)
[8]ドイツの切手に現れた技術者科学者たち(関東化学)
   (2)グーテンベルグ
   (3)コペルニクス
   (5)ケプラー
   (6)ゲーリケ
   (8)ライプニッツ
   (9)オイラー
  (10)カント
  (14)ガウス
  (21)フラウンホーへル
  (22)キルヒホッフ
  (24)ヘルムホルツ
  (25)レントゲン
  (26)ツァイス・アッベ・ショット
  (29)ハーン
  (31)プランク
  (34)アインシュタイン



(写真:東大谷墓地にて 2020.1.18撮影)

2020年1月18日土曜日

芳泉湯

小学校4年生から5年生にかけて,寺町の自宅を新築することになった。その数ヶ月の間笠舞の借家に一家で退避したのだが,使えるのは二階だけで部屋が狭い。そこで,自分だけは自宅のすぐそばにあるおばあちゃんの家に疎開することになった。応接間を勉強部屋として与えられ,寝るのは仏壇の前でおばあちゃんと一緒だった。土曜日曜には借家の父母のもとに通った。

寺町から長良坂を下って川沿いに上がり,上菊橋を渡ってそのまま進むと猿丸神社にぶつかる。ここを右に迂回して,やや登り勾配の道をさらに行くと右手に古い家があった。当時子どもは10円だった北鉄バスに乗ったこともあるが,寺町から歩いても20-30分で着く。

先ほどの道をさらに進むと左に大きく曲がって小立野台地を登る坂道になり,次の右に曲がる角の左手に銭湯があった。芳泉湯という名前で坂上からの眺望もよく,ゆったりした湯船の明るい風呂だった。父に連れられ,妹といっしょに何度か通った記憶がある。銭湯の前の道をさらに進むと金沢大学医学部附属病院前の石引の交差点に達する。

NHKの日曜美術館皆川明ミナ・ペルホネンが紹介されていて,店がどこにあるのかと調べていたら,金沢の石引2丁目にある大正時代の町屋を利用した渋い店が見つかった。グーグルマップで確認すると,先ほどの芳泉湯からすぐのところにある。だが,芳泉湯はもうなかった。かろうじて,痕跡の物置が確認できる程度だ。近くには石引温泉亀の湯という銭湯が新しい道沿いにできていた。

2020年1月17日金曜日

三角関数と双曲線関数

mathtodonで@Sun_Pillar@mathtod.online(サンピラー)さんが出していた問題をちょっと改変するとこんな感じだった。

$f(x) = \sin x + \csc x + \cos x + \sec x + \tan x + \cot x$ と
$fh(x) = \sinh x + \csch x + \cosh x + \sech x + \tanh x + \coth x$の
極小値は一致することを示せ。ただし,$ 0 < x < \pi/2$とする。

えー,ホントかなと思ったが,数値計算してみると確かにそうだ。その極小値は一瞬 $2\pi = 6.28319$ に見えたが,落ち着いて考えると,ともに,$2+3\sqrt{2}=6.24264$となった(ただし,これを与える$x$の値は,$f(x)$と$fh(x)$では異なる)。

さらに,$f(x)$ では $y = \tan x$とおき,$fh(x)$ では $y=\sinh x$とおくと,

$f(x(y))= \dfrac{y}{\sqrt{1+y^2}} +  \dfrac{\sqrt{1+y^2}}{y} +   \dfrac{1}{\sqrt{1+y^2}} +  \sqrt{1+y^2} + y + \dfrac{1}{y}$

$fh(x(y))= y + \dfrac{1}{y} +   \sqrt{1+y^2} + \dfrac{1}{\sqrt{1+y^2}} +  \dfrac{y}{\sqrt{1+y^2}} +  \dfrac{\sqrt{1+y^2}}{y} $

となって,両者は一致する。さらにこの関数を$y$で微分して因数分解したものが以下の$h(y)$であり,$h(y)=0$となる$y=1$が極小値を与える。

$h(y) = \dfrac{y-1}{y^2(1+y^2)^{3/2}} \Bigl\{(1+y+y^2+y^3)\bigl(\,1+\sqrt{1+y^2}\,\bigr)+y^4 \Bigr\}$

つまり,関数の極小値を与える条件とその値は,$f(x)$では,

$\tan x = 1 \quad \therefore x = \pi /4 = 0.785398,\quad  f(x) = 2 + 3 \sqrt{2} $

であり,$fh(x)$では,

$\sinh x = 1 \quad \therefore x = \log(\sqrt{2} + 1) = 0.881374, \quad fh(x) = 2+3 \sqrt{2}$

となる。というわけで与えられた三角関数と双曲線関数の極小値は一致した。

三角関数と双曲線関数の間には次の対応があるというのが鍵だった。
\begin{equation}
\begin{aligned}
\sinh x  & \longleftrightarrow \tan x \\
\dfrac{1}{\cosh x} & \longleftrightarrow \cos x \\
\tanh x & \longleftrightarrow \sin x
\end{aligned}
\end{equation}
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
In[1]:= f[x_] := Sin[x] + Cos[x] + Tan[x] + Csc[x] + Sec[x] + Cot[x]
In[2]:= g[x_] = D[f[x], x]
Out[2]= Cos[x] - Cot[x] Csc[x] - Csc[x]^2 + Sec[x]^2 - Sin[x] + 
 Sec[x] Tan[x]

In[3]:= Factor[c - c/s^3 - 1/s^2 + 1/c^2 - s + s/c^3]
Out[3]= ((c - s) (-c^3 - 2 c^2 s - 2 c s^2 - s^3 + c^3 s^3))/(c^3 s^3)

In[4]:= a = x /. Solve[Cos[x] == Sin[x] && x > 0 && x < 1, x, Reals][[1]]
Out[4]= -2 ArcTan[1 - Sqrt[2]]
In[5]:= fa = f[a] // FullSimplify
Out[5]= 2 + 3 Sqrt[2]

In[6]:= fh[x_] := 
 Sinh[x] + Cosh[x] + Tanh[x] + Csch[x] + Sech[x] + Coth[x]
In[7]:= gh[x_] = D[fh[x], x]
Out[7]= Cosh[x] - Coth[x] Csch[x] - Csch[x]^2 + Sech[x]^2 + Sinh[x] - Sech[x] Tanh[x]

In[8]:= cc = Sqrt[1 + ss^2]
Out[8]= Sqrt[1 + ss^2]
In[9]:= Factor[cc - cc/ss^2 - 1/ss^2 + 1/cc^2 + ss - ss/cc^2]
Out[9]= (1/(ss^2 (1 + ss^2)))(-1 + ss) (1 + ss + ss^2 + ss^3 + ss^4 + Sqrt[1 + ss^2] + ss Sqrt[1 + ss^2] + ss^2 Sqrt[1 + ss^2] + ss^3 Sqrt[1 + ss^2])

In[10]:= b = x /. Solve[Sinh[x] == 1 && 0 < x && x < 1, x, Reals][[1]]
Out[10]= ArcSinh[1]
In[11]:= fb = fh[b] // Simplify
Out[11]= 2 + 3 Sqrt[2]

In[12]:= N[{a, b, f[a], fh[b]}]
Out[12]= {0.785398, 0.881374, 6.24264, 6.24264}
In[13]:= Plot[{f[x], g[x], fh[x], gh[x]}, {x, 0, Pi/2}]
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
図 三角関数f(x) 双曲線関数fh(x)とそれらの微分 g(x) gh(x) のグラフ








2020年1月16日木曜日

コンビーフ

大学時代の実家からの仕送りにコンビーフが入っていることがあった。大学に入るまではあまり食べたことがなくて(野菜炒めに入っていたのかな)要領がよくわからなかったが,枕型の缶をねじ切って,フォークで生のままたべると,非常食としてあるいはビールのつまみとしてたいへん美味であることがわかった。たまに送られてきた食品の中に発見するとたいへん貴重でありがたいものである。

そのコンビーフの缶が廃止されるらしい。コンビーフの野崎産業は,合併後に川商フーズになっていて,その歴史がここにある。特殊な缶の製造設備なので更新するのが難しかったらしい。最近ほとんど食べていないけど,あの缶を空けるのはいやじゃなかった(むしろ楽しいよ)というのは家人の説である。


写真:最近入手したノザキのコンビーフ(2020.1.17撮影 追加)


2020年1月15日水曜日

基礎自治体 教育ICT指数サーチ

岐阜聖徳学園大学芳賀高洋さんが河合琢也さんのデータをもとにして,基礎自治体 教育ICT指数サーチというサイトを作った。久しぶりの大ヒットになりそうだ。芳賀さんらしいきめ細かい作り込みがうれしいし,実用的な価値も高い。さっそく奈良県教育研究所奈良県域GIGAスクール構想の実現のページからリンクされている。

学校での大量のコンピュータ管理は負荷が高すぎるので,一人一台の方向性はよいとしても,なんとか個人所有の端末へスライドさせながら軟着陸する方法を考えるのがよいと思う。発展途上国化しつつある日本ではなかなかそううまくはいかないのだろう。電子教科書談義が燃えていた10年前ならば,民主党政権のこども手当て利用案だとどうかとか夢想していたのだけれど。

P. S. 芳賀さんといえば,先日,NHKに千葉大学の三宅健次先生が映っていた。また,大学評価・学位授与機構の土屋俊先生は放送大学の記号論理学の最終回の4名対談にて例の調子で暴れており,思わず爆笑してしまった。

P. P. S. その記号論理学の授業の最終回では,対話的タブローチェッカーのタブ朗が宣伝されていた。

2020年1月14日火曜日

宇宙の加速膨張

韓国の延世大学校のチームによる宇宙の加速膨張についての見直しを迫る論文が出てちょっと話題になっている

ハッブル=ルメートルの法則によると,観測者から遠方の天体までの距離$D$と,観測者から見た宇宙の膨張によるその天体の後退速度$v$は比例する。この比例定数がハッブル定数$H_0$である。その後退速度が時間とともに増加しているというのが,宇宙の加速膨張である。

加速膨張は1998年に2つのチームによって発見された。いずれも,Ⅰa型超新星が固有の明るさを持つことを利用して,観測者からこれらの超新星まで距離を求めて赤方偏移による後退速度との関係を詳しく調べることで得られた結論である。これにより,パールマッターシュミットリースが2011年度のノーベル物理学賞を受賞した。

Ⅰa型超新星は,質量が太陽質量の1.38倍をチャンドラセカール限界とする白色矮星の超新星爆発によるものである。主に連星系の一方に連続的に物質が供給される過程でチャンドラセカール限界を越えて炭素燃焼過程により超新星爆発が起こる。この場合の超新星の質量がほぼ均一であるため,ピークの明るさが一定となるので標準光源として用いることができる。

延世大学校チームの論文は,このⅠa型超新星の明るさが一定であるという仮定が正しいかどうかを調べることで,従来の結果についての再検討を促したものである。Ⅰa型超新星の標準化された明るさは,星の種族,質量および局所星形成率と相関している可能性を示唆している。

しかし,これ以外のバリオン音響振動宇宙マイクロ波背景放射なども,宇宙の加速膨張から得られるダークエネルギーについての結論を支持しているので,まだ議論は続くようだ。


2020年1月13日月曜日

ab+bc+cd=n

Mathtodonに@antimonさんがこんな問題を出していた。

【問題1】S(n) を「 ab+bc+cd=n (a,b,c,d≥1) の整数解の個数」とする(例: S(5)=5 )。 S(k)=S(k+1) となる最小の整数 k(≥3)を求めよ。

【問題2】kを 問題1 の解とする時、S(S(S(S(S(k))))) を求めよ。

で,@栄造さんにならって,juliaで解いてみた。
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
function s(n)
  m=0
  for b in 1:ceil(Int,(n-1)/2)
    for c in 1:ceil(Int,min((n-1)/2,n/b))
      for a in 1:ceil(Int,(n-c)/b-c)
        for d in 1 :ceil(Int,(n-a*b)/c-b)
          if n == a*b + b*c + c*d
#           println(a," ",b," ",c," ",d)
            m = m+1
          end
        end
      end
    end
  end
  return m
end

for k in 3:20
  println(k,":",s(k))
end

@time println(s(14))
@time println(s(s(14)))
@time println(s(s(s(14))))
@time println(s(s(s(s(14)))))
@time println(s(s(s(s(s(14))))))
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
3:1
4:2
5:5
6:6
7:11
8:13
9:17
10:22
11:27
12:29
13:37
14:44
15:44
16:55
17:59
18:68
19:71
20:81
44
  0.000135 seconds (38 allocations: 1.047 KiB)
319
  0.000084 seconds (36 allocations: 1.156 KiB)
4256
  0.001191 seconds (37 allocations: 880 bytes)
178474
  0.270975 seconds (187 allocations: 11.359 KiB)
13153386
788.437834 seconds (186 allocations: 10.188 KiB)

juliaをたまに使うと,割り算の整数化やかけ算記号が省略できないことなどでつまずく。工夫のないプログラムなので時間はやたらにかかってしまう。

2020年1月12日日曜日

パラサイト

1月10日の日本経済新聞の夕刊のシネマ万華鏡で「パラサイト 半地下の家族」が★5つで紹介されていた。これは「グエムル−漢江の怪物−」のポン・ジュノ監督による2019年の作品で第72回カンヌ国際映画祭で韓国映画として初めてパルムドールを受賞したものだ。

早速,夫婦で見に行きました。前年のパルムドールは,是枝裕和監督の「万引き家族」だったが,これも映画館で見て面白かった。最初はこれに似た雰囲気なのかと思っていたら,そうではなかった。いずれも東アジアの貧困を焦点化した面と家族の深い関係を示唆している部分があるのだけれども,ポン・ジュノはさらにそれを進める。

コメディタッチで前半が進むが,やがてカオスが到来する。半地下の家でWiFiの電波を求めなければ生活が成り立たない様子,周到な計画で近代化された韓国を象徴するようなモダンな豪邸に入り込んでゆく過程,激しい雨の中を帰る家族を待っていた水害と避難所のシーン,高級住宅地の豪邸の庭でのパーティーを2階から俯瞰している場面など,必要最小限の説明で分かりやすい物語が進むと同時に,予想できない展開が待っている。

韓国の社会や文化については,それなりに学習してきているのと,同じ東アジア文化圏のメンタリティーがあることで,感情移入はしやすい。自分としてのこの映画のポイントをまとめると,「人生は計画通りに進まない」「差別はにおいから始まる」の2点ということにしておく。

P. S. 今朝のNHKの7時のニュースでは,パラサイトが紹介され,ポン・ジュノと是枝裕和の対談が放映されていた。


2020年1月11日土曜日

関空第2ターミナル

家族が長い正月休みを終えてピーチ・アヴィエーションで帰るというので関西国際空港まで送ってきた。ピーチの飛行機は第2ターミナルから出発するので,第1ターミナルからの連絡バスで,初めて第2ターミナルに足を踏み入れた。連絡バスの中から,ターミナルビルを探していたが見当たらない。どこにあるのと思っているとやがて1階建てのプレハブのような第2ターミナルに到着した。国内線側はがらんとしていた。国際線側も同じ造りだったが,乗降客はやや多くてにぎわっていた。店もほとんどない。

それにしてもみすぼらしい建物だという印象。家族はみな,こんなもんでしょう,配管もオープンなのが最近のデザインだし,メンテナンスも楽でよい。機能的には問題ないという肯定的な意見。でも,自分が外国から訪れた観光客だったら,発展途上国の空港についたという印象を持ちそうで・・・つらい。仁川国際空港北京大興国際空港もこんなことはないのではと思うがどうなんだろう。

日本が本当に貧しくなったという印象を持ってしまった令和2年の正月。これで,東京オリンピック2020と大阪万博2025に莫大な税金を投入というのか・・・orz。日本は政治的にも経済的にも発展途上国への道を確実に進んでいる。



写真:関西国際空港第2ターミナルの国際線(撮影 2020.1.10)

2020年1月10日金曜日

カニカマ

NHKの「所さん!大変ですよ」でカニカマ特集をやっていた。カニカマ製造機がうつるというので,カニカマを1972年に始めて開発した石川県七尾市のスギヨかなと思っていたら,山口県宇部市のカニ風味蒲鉾製造機で世界70%のシェアを持つヤナギヤが映った。ヤナギヤは,フィッシュスティック型のカニカマを最初に作った広島県広島市の大崎水産からカニカマの機械製造の許可をもらって,カニカマ製造機を開発したようだ。

いまではカニカマ=スリミ(surimi)の最大の消費国はフランス(ついでスペイン)で,最大の生産国はリトアニアだ

スギヨといえば,小学校5年生のときの修学旅行で,海水浴場で有名な柴垣の海岸から羽咋市の気多大社能登金剛(巌門)やまわって(このへんの記憶は曖昧),七尾にあるスギヨの工場を見学した。おみやげに出来立てのビタミンちくわをもらった。昼食は小丸山城趾公園で,おばあちゃんが作ってくれたタケノコご飯といっしょにちくわを食べた。これが生涯で一番おいしかった竹輪である。当時は実家の新築工事中だったので,実家から500mのところにある寺町のおばあちゃんのうちに疎開していたのだった。おばあちゃんはちくわがおみやげにならなくて残念そうだった。


写真:スギヨのビタミンちくわのページから引用

2020年1月9日木曜日

方舟さくら丸:安部公房

元旦の夜,テレビ番組をだらだらと見ていたら,NHKのEテレの「100分de名著」シリーズの特番「100分deナショナリズム」が飛び込んできた。ヤマザキマリ安部公房の「方舟さくら丸」の話をしていて,最初はこれが方舟さくら丸の話とは気付かずにいた。とてもおもしろい切り口でぐいぐいと引き込まれた。4人のゲストが稲垣吾郎の司会の元で,このテーマにも関らず冷静に議論できているのがとてもありがたかった(ふだんの司会の伊集院光もなかなかよい仕事をしていると思う)。

さっそく,自分の本棚を確認すると,新潮文庫の方舟さくら丸を持っていた。しかし,そのイメージは全く記憶に残っていなかった。「箱男」と「密会」も単行本で持っていたはずだが,こちらのストーリーも思い出せない。これにくらべると,「第四間氷期」,「けものたちは故郷をめざす」,「砂の女」,「他人の顔」,「燃えつきた地図」の方はくっきりとした印象が残っている。初期の短編も高校時代の自習時間に図書館でよく読んでいた記憶がある。SFから入門した安部公房だが,「砂の女」と「他人の顔」は大学時代に読んだ文芸作品のベストテンに入る。

番組の方はまとめると次のようなことだった。
大澤真幸 想像の共同体 国民国家・情報技術
島田雅彦 君主論 マキャベリズム・パトリオティズム
中島岳志 昭和維新試論 超国家主義・セカイ系
ヤマザキマリ 方舟さくら丸 棄民・選民
1月5日の再放送を録画して最初からみたが,おもしろかった。

2020年1月8日水曜日

デザインあ

1月5日の午後から滋賀県守山市の琵琶湖大橋東岸のそばにある佐川美術館に家族で訪れた。曇った冬空でときどき雨がぱらつく寒い日だったが,子どもも楽しめる「デザインあ」展は親子連れでたいへん盛況だった。その趣旨はつぎのとおり。
こどもたちのデザインマインドを育む番組 NHK Eテレ「デザインあ」。本展は「デザインあ」のコンセプトを、体験の場に発展させた展覧会です。身のまわりに意識を向け(みる)、どのような問題があるかを探り出し(考える)、よりよい状況をうみだす(つくる)という一連の思考力と感性を「デザインマインド」ととらえ、多彩な映像表現をもちいて伝えてきました。デザインあ展は、この「デザインマインド」を、見て、体験できる展覧会です。 

 写真:佐川美術館のエントランス(2020.1.5撮影)

2020年1月7日火曜日

修羅

修羅(1971)」は「薔薇の葬列(1969)」に続く松本俊夫(1932-2017)の監督・脚本の映画作品であり,大学時代に劇場でみた。彼の作品では桂枝雀(1939-1999)主演の「ドグラ・マグラ(1988)」もおもしろそうだったが,残念ながらこちらはまだみていない。

「修羅」の原作は,鶴屋南北(1755-1829)の「盟三五大切(かみかけてさんごたいせつ)」であり,中村嘉葎雄(1938-)が薩摩源吾兵衛,三条泰子(1940-)が小万の役だった。その三条泰子がとてもきれいに思えたので,帰省したとき母にいうと,なんか怪しい映画に出ている人じゃないのと切り替えされた。今,調べてもほとんどそういうことはないのだけど。

その薩摩源吾兵衛は,「盟三五大切」の元になった並木五瓶の「五大力恋緘(ごだいりきこいのふうじめ)」にも登場し,「国言詢音頭」の初右衛門に対応している。これらのもとになったのは,元文2年(1737)夏,曽根崎新地で薩摩藩の早田八右衛門という人物が,曽根崎桜風呂の菊野ら五人を切り殺したという事件だ。

ということで,大学時代に見ていた「修羅」が,文楽入門のきっかけとなった40年後の「国言詢音頭」につながっていた。

2020年1月6日月曜日

おいど出して

令和2年初春文楽公演(開場三十五周年記念シリーズ)が1月3日から始まった。第1部の「傾城反魂香」が,竹本津駒太夫改め六代目竹本錣太夫襲名披露狂言であった。

津駒太夫は,2008年(平成20年)7月の私の初めての文楽体験(夏休み文楽公演第3部)で最初に出会った太夫だったので印象深い。演目は,国言詢音頭(くにことばくどきおんど)。大川の段が津駒太夫と鶴澤寛治,五人伐の段の中が文字久太夫・清友,切が住太夫・錦糸・豊澤龍爾(胡弓)という顔ぶれだった。津駒大夫が汗びっしょりでよだれをたらしながら熱演しているのにびっくりしてハマってしまい(最後のシーンが本水だったのもよかった),それ以来文楽劇場に通うようになった。

その津駒太夫=錣太夫の襲名披露は,傾城反魂香の冒頭に,床に竹本錣太夫,竹澤宗助,豊竹呂太夫(六代目 1947-)が並んで行われた。呂太夫が落ち着いて口上を述べた。文楽の襲名披露は歌舞伎のそれに比べて,相対的に形式張っておらず,また襲名する本人自身は自らは挨拶しないのが通例だ。

竹本錣太夫は,1949年広島生まれ,1969年に津太夫に入門して津駒太夫を名乗り,1970年に朝日座で初舞台,1988年に呂太夫(五代目 1945-2000)門下になり,ここで六代目の呂太夫=英太夫と接点を持つ。呂太夫の口上では,とてもきまじめな錣太夫のエピソードを1つ紹介していた。

当時の津駒太夫は,鶴澤寛治(六代目 1887-1974)に指導を受けていた。ある日,寛治がおいどを出してというので,津駒太夫はあわてて立ち上がってゆかたをめくろうとしたらしい。この場合のおいどは床本の終わりのほうを意味していたのを勘違いしたのだ。同席していた女義太夫の鶴澤寛八(1917-1993)にあわてて止められたとのことだ。文楽界を代表するおもしろい出来事だったとのこと。


写真:国立文楽劇場初日,鏡割り前の錣太夫の挨拶(2020.1.3撮影)

2020年1月5日日曜日

(冬休み 7)

「冬の水にごりても空うつすかな」 (松崎鉄之介 1919-2014)

2020年1月4日土曜日

2020年1月3日金曜日

2020年1月2日木曜日

2020年1月1日水曜日