前回、2020/12/04 の投稿では、我が国の科学者の約半数が「日本学術会議の任命拒否に対する抗議声明」に関わっていると書きましたが、その後の学協会の声明を合わせると、過半数になりました。
これまでの情報に加えて、2020/12/24 の学術会議の記者会見資料にある学協会のデータ等を加えた結果です。2021/01/12 現在で以下のようになっています。
個別学協会数: 1,980、 総会員数(延べ）3,604,159 名
声明発出学協会数: 750 (37.9%)、 学協会会員数(延べ) 1,825,319 名 (50.6%)
声明を発出した学協会の情報が２次利用できるような形態ではないために集計に手間がかかるとともに確認がたいへんです。学協会の連合体で発出した場合や合同で声明を出している場合に個別の学協会にバラして、さらにはこれらに重複して現れている場合には重ねて集計することのないように処理を行っています。
前回の投稿記事ー「日本学術会議の任命拒否に対する抗議声明」 人文・社会科学者の35%が」は11月中旬までの学協会の（うちで第一部人文・社会科学分野と思われるものの）情報を手作業で集計したものでした。
その記事の中で引用した我が国の学協会の現状の解説記事の執筆者の協力を得て、11月末までに抗議声明を発出した日本学術会議協力学術研究団体（協力学協会）の状況をあらためて集計しました。今回は全分野を対象としています。
個別学協会数：1,980、総会員数（延べ）3,604,159名
声明発出学協会数：718（36.3%）、学協会会員数（延べ）1,708,590名（47.4%）
延べ会員数の比率から直接的に声明に関与した科学者数を算出するわけにはいきませんが、87万人といわれる我が国の科学者の約半数が今回の会員任命拒否の抗議声明に関わっていると推察できるでしょう。
賛否が求められて任命拒否に反対したということではなく、学術界への政治の介入への危機の認識から学協会から自発的な行動として発せられたものです。その意味で、科学者の「半数」というのは大きな比率だといえるでしょう。まだ、行動をとっていない学協会にもこの動きを知っていただきたいものです。
抗議声明を出した学協会の中には、協力学協会に含まれていない団体もありますが、ここでは協力学協会のみを扱っています。また、大学団体等については含めていません。声明を出した学協会の一覧は学術会議の記者会見資料や Web 上で「学者の会」で公開されていますが、個別に発出することもあれば、連合体として、あるいは複数の団体が共同で発出することもあり、それによってこれらの一覧には重複が生じています。上はそれらの重複を除いて集計したものです。
協力学協会には「連合体」として個別学協会が集まったものも含まれます。抗議声明をこの連合体が出している場合もあります。ここではこれは構成している個別学協会にバラしています。基礎となるデータは2019年（一部、2020年）です。また、会員数は「個人会員」のみのデータです。科学者個人は複数の学協会の会員になるのが一般的ですので、会員数は重複を含む延べ数です。
2020年11月12日の日本学術会議の記者会見では梶田会長ら幹部が「会議が推薦した会員を任命されない事態は想定してない」と述べた。
この記者会見の際の資料にはこれまでに学術会議が把握した「日本学術会議に関する学協会・大学等の声明等一覧（令和 2年 11月 10日現在）」が【参考１】として添えられている（pp.21-32）。
そこでは 240余りの団体が「内閣総理大臣による第25期会員候補の任命拒否に対する」抗議声明を出したことが表で示されている。このうちで、研究者自らが運営して、学術に関する機関誌を発行するなどの研究活動を行っている学協会（日本学術会議協力学術研究団体）は180であった。このような学協会は会員選考の際に情報提供を行う団体である。これまでに声明を出した多くの学協会は第一部（人文・社会科学）関連の学協会で、その会員数は延べ約13万人である。2000余りの学協会の情報は「学会名鑑」に公開されているのでそこから学会ごとの会員数を引き出して集計したものである。一人の研究者がいくつかの学協会の会員として活動することもあるので、実際の研究者数ではない。
一方で、第一部関連の学協会全体の会員総数は同様に重複を含めて延べ46万人である（埴淵 知哉・川口 慎介「日本における学術研究団体(学会)の現状」, E-journal GEO
Vol. 15(1) 137-155 2020）。
これらのことから、おおむね 35% の学協会会員が学協会を通じて声明を出している、あるいは学協会が人文・社会科学関連研究者の 35% の会員を代表して声明を出しているといえる。学術会議が会員の見解を代表して提言等を出すのとおなじ形だといえる。内閣府の統計によると第一部関連の大学等に所属する研究者数は6.9万人である
ことから、その35% である 2.4万人の研究者が実際に声明を出していることになる。
声明は第一部関連以外にも日本建築学会等の学協会や日本医学会(136学会で構成）
のように学協会の連合体で出しているものもあり、総数は数十万人に及んでいる。
このことから、我が国の科学者の多くが今回の学術会議会員の任命拒否に対して声
を上げているとみることができよう。
【2020/11/12 に改訂しました】
日本学術会議の会員推薦方法が変更されて2005年に”新生学術会議”第20期が発足してから2020年の第25期会員の任命拒否までの年表です。議論される事項等を書き入れてあります。データはすべて公開されている文書から抜き出したものです。
リンク先のファイルでは文字の色分けで判別しやすくなっていますが、後にテキストも添えておきます。
日本学術会議第20期〜第25期 年表
2001/04/26 小泉純一郎内閣
第20期
2005/10/03 第146回総会 会員210名 2005/0/01付け任命 会長 黒川清
2006/02/13 第147回総会（臨時）
2006/09 会員1名定年退職、補欠会員1名任命
2006/09/26 安倍晋三内閣
2006/10/02 第149回総会 会長 金澤一郎
2007/09/26 福田康夫内閣
2008/09/24 麻生太郎内閣
第21期
2008/10/10 第154回総会 会員105名 2008/10/01付け任命 会長 金澤一郎
2009/09/16 鳩山由紀夫内閣
2010/06/08 菅直人内閣
2011/01/17 会員1名定年退職、補欠会員1名前任会員定年退職翌日付け任命
2011/03/11 東日本大震災
2011/06-07 会員3名定年退職、補欠会員3名前任会員定年退職翌日付け任命
2011/07/11 第160回総会（臨時） 会長 廣渡清吾
2011/08/01 会員1名定年退職、補欠会員1名前任会員定年退職翌日付け任命
2011/09/02 野田佳彦内閣
2011/09 会員3名定年退職、補欠会員3名 2011/10/01付け任命
第22期
2011/10/03 第161回総会 会員105名が2011/10/01付け任命 会長 大西 隆
2011/12 会員1名定年退職
2012/04/09 第162回総会 補欠会員候補者の承認
2012/04/30 会員1名辞職
2012/05/31 補欠会員1名任命
2012/11/30 補欠会員1名任命
2012/12/26 安倍晋三内閣
2014/04-07 会員3名定年退職（第22期末2014/09任期のため後任補充対象外）
2014/07/31 内閣府「日本学術会議の新たな展望を考える有識者会議」（第1回）
第23期
2014/10/01 第168回総会 会員105名 2014/10/01付け任命 会長 大西 隆
2015/03/20 内閣府「日本学術会議の新たな展望を考える有識者会議」報告書提出
2015/07/08 防衛施設庁「安全保障技術研究推進制度」公募開始
2015/09/06 会員1名定年退職（補充対象）
2015/10-2016/01 会員3名定年退職（補充対象）
2015/09/30 「平和安全法制」：自衛隊法等の一部改正等
2016/11/01 補欠会員１名任命
2016/06/24 安全保障と学術に関する検討委員会（第1回）
2016/05/15 補欠会員3名任命
2016/05-09 会員3名定年退職（補充対象）
2016/11/18 会員1名定年退職（第23期末任期のため後任補充対象外）
2016/12/01 会員1名退職（第24期末任期のため補充対象）
2017/02/04 学術フォーラム「安全保障と学術の関係：日本学術会議の立場」開催
2017/03/24 声明「軍事的安全保障研究に関する声明」
2017/04/13 報告「軍事的安全保障研究について」
2017/05/15 補欠会員1名任命（第24期末任期）
2017/04-09 会員8名定年退職（第23期末任期のため後任補充対象外）
第24期
2017/10/02 第175回総会 会員105名 2017/10/01付け任命 会長 山極寿一
2018/02 会員1名定年退職
〈臨床医学〉（第24期末任期 補充対象)
2018/09/01 会員〈臨床医学〉逝去（第25期末任期 補充対象）
2018/09 会員2名定年退職
〈基礎生物学〉（第24期末任期 補充対象)
〈政治学〉（第24期末任期 補充対象)
2018/11/05 補欠会員2名任命
〈臨床医学〉（第25期不再任）
〈基礎生物学〉（第25期再任）
2018/10-2019/01 会員3名定年退職
〈臨床医学〉（第24期末任期 補充対象)
〈電気電子工学〉（第24期末任期 補充対象)
〈材料工学〉（第24期末任期 補充対象)
2019/05/30 補欠会員4名任命
〈臨床医学〉（第25期再任）
〈臨床医学〉（第25期末任期として）
〈電気電子工学〉（第25期再任）
〈材料工学〉（第25期再任）
2019/6-8 会員2名定年退職
〈臨床医学〉（第24期末任期 補充対象)
〈言語・文学〉（第24期末任期 補充対象)
2019/11/18 補欠会員2名任命
〈言語・文学〉（第25期再任）
〈臨床医学〉（第25期不再任）
2019/10-2020/5 会員3名定年退職（第24期末任期のため後任補充対象外）
2020/09/16 菅義偉内閣
第25期
2020/10/01 第175回総会 会員99名 2020/10/01付け任命 会長 梶田隆章
2020/10/01 菅義偉内閣総理大臣6名の会員任命拒否
日本学術会議に対して、菅内閣総理大臣は第25期会員の任命拒否の理由を明確にせず、一方で河野太郎行政改革担当相は2020年10月9 日に行政改革の検討対象として「二百十人の学術会議の会員数や手当には踏み込まず、国から支出される年間十億円の予算や会議事務局の約五十人の定員を見直す。」との考えを示した。
会議事務局は会長をはじめとする幹部会員とともに種々の学術活動を支えている。会員は多数の審議や科学者コミュニティーとの連携、政府や社会及び国民等との連携、国際アカデミーとの連携等々、種々の活動を行うことが任務であるが、210名の会員は非常勤の特別職の国家公務員、約2000名の連携会員は非常勤の一般職の国家公務員である。つまり、会長以下、全員が非常勤であり大多数が大学や企業に本務を持っている。こうした会員等の活動を支える事務局は政府の省庁の行政とは異なる側面があるといえよう。
10数年前の会員当時には関係会員と事務局職員が共同で会員業務の改革に努めた。学術会議の構成員である会員等と事務局の協働作業であった。学術会議での主要な業務は「ハンコ押し」ではない。業務の改善にあたってはその内容に通じた当事者が積極的に関与しなければ不可能である。当事者としてその一端を紹介する。
これらは、いずれも今となっては一般的だといえようが、これらを10年ほど前に公式な手続きとともに実施した。2014年に会員を退任したのでその後の進展については承知していないが、不断に会員と事務局が効率的な会務を行っていると思われる。
これらが COVID-19 下での審議の対策として活かされ、多くの提言等がまとめられ活動を停止することなく第24期を終えた。10月1日に新たな第25期が始まり、さらなる活動が期待される。そのためにも、任命拒否された6名の会員候補者がただちに会員として任命されることを望む。
日本学術会議の会員と事務局とのこのような取組みも広く理解いただきたい。
2020年10月1日の日本学術会議第25期会員の任命にあたって、菅総理大臣は6名の科学者を除外した。その理由は一向に説明されないが、加藤官房長官他から、「総合的・俯瞰的」ということばが多く出てきた。おそらく、誰かがこれまでの日本学術会議に関して議論された文書から引いてきたのであろう。
菅氏は理由なき任命拒否を撤回して６名の科学者の会員を任命すべきである。
日本学術会議の制度改革にかかる2003年の報告書、およびその報告書にある「10年後の見直し」にかかる2015年の内閣府有識者会議の報告書における記述は以下の青字部分のように書かれている。
「日本学術会議の在り方について」（2003/02/26)
総合科学技術会議
I はじめに
・・・
(p.1)
2.本意見の骨子
○今日、日本学術会議は我が国の科学者コミュニティを代表する組織として、社会とのコミュニケーションを図りつつ、科学者の知見を集約し、長期的、総合的、国際的観点から行政や社会への提言を行うことが求められている。
○このような役割を充分果たすためには、まず、会員制度、部門等の構成、運営体制等の改革を早急に行うことにより、科学者コミュニティの総体を代表して俯瞰的な観点に立ち、科学の進展や社会的要請に対応して柔軟かつ機動的に活動しうる体制に変革しなければならない。
・・・
II 科学者コミュニティの果たすべき役割
・・・
(p.4)
2.組織について
○日本学術会議は、新しい学術研究の動向に柔軟に対応し、また、科学の観点から今日の社会的課題の解決に向けて提言したり社会とのコミュニケーション活動を行うことが期待されていることに応えるため、総合的、俯瞰的な観点から活動することが求められている。
ここでは、「日本学術会議が総合的・俯瞰的観点から活動する」としていて、科学者個人の研究に触れているわけではない。
「日本学術会議の今後の展望について」（2015/03/20)
内閣府 日本学術会議の新たな展望を考える有識者会議
２．日本学術会議の組織としての在り方
（１）意識、活動へのコミット
② 求められる人材と選出方法
・・・
(p.24)
【有識者会議としての意見】
第２で述べた日本学術会議に期待される機能を踏まえると、その会員・連携会員は、自らの専門分野において優れた成果を上げていることに留まらず、様々な課題に対し、自らの専門分野の枠にとらわれない俯瞰的な視点を持って向き合うことのできる人材であることが望ましい。・・・
政府による説明はここにある「俯瞰的な視点」を引用したのか？しかし、ここでは「総合的」が一緒に出てきているわけではない。2003年のものと2015年のものをごっちゃにしてあいまいな表現にしたとも考えられよう。それにしても、重要なのは、「自らの専門分野において優れた成果を上げていることに留まらず」が前提である。その判断はそれぞれの専門分野の科学者しか判断できない。各分野の専門家によって「優れた成果を上げている」と判断されて日本学術会議から推薦された６名の科学者のをただちに任命すべきである。
Abstract.
We have been discussing data sharing among autonomous independent sites in the distributed system to meet various demands for application. Among them the need for collaborative data sharing has attracted attention in many fields where not only the owner of the original data but the receiver can update that shared data. The BCDS Agent is a new building unit for configuring such systems with scalability and versatility. It rests on the novel feature of bidirectional programming which encourages us to take the compositional approach in developing the distributed system with data consistency.
We present the key issue on designing the BCDS Agent with some examples.
まったく久しぶりの投稿です。
すでに触れましたが、2018年3月に大学改革支援・学位授与機構の職を離れて、再び、大学に勤めていたときの計算機科学分野の研究を振り返りつつリハビリに努めてきました。
7年間の「空白」もありましたが、やり残していたことも思い出しながら関数プログラミングを楽しんでいます。2018年の秋から「双方向変換を用いたデータ共有システム」に関する研究に取り組んでいます。
情報学研究所 (NII) の胡振江教授（現北京大学・NII教授）が代表として進めている科学研究費補助金による研究のアドバイザを務める傍ら、久しぶりのソフトウェア開発を行って、アイデアの実証を行っています。
2019年の３月頃から３ヶ月ほどで開発して、いくつかの応用システムのプロトタイプによって有効性を実証した「双方向協調型データ共有 (Bidirectional Collaborative Data Sharing, BCDS) システム」の概要を添付しておきます。このシステムはネットワーク通信を含めてすべて関数型言語 Haskell で記述してあります。SQLデータベースとともに使うことを想定したシステムですが、そのためのライブラリ 700行とネットワーク機能を含むデータ共有を実現する800行程度のプログラムで、Mac OS と Windows 10 のもとの（これらが混在した）ローカルネットワークで実行することができます。
最近、いくつかのタクシーの配車サービス（Taxi Dispatching) システムが実用化されていますが、簡単な仕様記述によってそのプロトタイプを作成するなどの実験を行いました。協調型データ共有のアプリケーション構築のための基盤技術の一つとして位置づけています。
昨年(2018年)の３月まで、７年間、大学の質保証の業務に関わっていましたが、それ以降、１年３ヶ月ほどはまったく関わっておりません。以前に大学にいた頃のComputer Scienceの研究に戻って、その間の研究の進展をフォローしながら10年ほど前に考えていたことを継続してプログラミングを楽しんでいます。
その一方で、ときにはいろいろと報道される最近の大学の状況について考えるところもあり、以前の業務を通じて知った質保証を担う当事者としての大学、および学生、教員、職員の方々へのさまざまな思いが出てくることもあります。
最近、話題になる大学の問題の多くは組織のあり方に関するものが多いと言えるでしょう。「改革」の名の下に実施される施策が必ずしも正鵠を得ていないことも、また、それを指摘することが躊躇われるということもあるのではないでしょうか。
いまでも「平成27年度大学質保証フォーラム−知の質とは – アカデミック・インテグリティの視点から」を企画し開催したときのことを思い起こします。なにより、大学にとっては、「改革」、「評価」といった対処に追われるだけではなく、学生、教員、職員のそれぞれが「アカデミック・インテグリティ」を真摯に追究すべきであろうと思います。これに加えて、「非寛容の排除」も大事だといえるでしょう。以前から話題になっている「研究不正」については、多くは教員によるインテグリティの欠如によるものですが、それでもやはり組織としてのインテグリティが欠けているといわざるを得ません。「不適切な入試」にまつわることがらもおなじでしょう。「制度改革」も必要でしょうが、それが当座の問題を見えなくするための形ばかりのものになってしまわないことを願っています。
「質保証」ということばには広い意味がありますが、その基礎にあるものをもう一度、考えてみることも大事でしょう。
久しぶりの投稿です。
先日、24年前に出版した書籍について、出版社（岩波書店）から、その中に記載した参照情報について「読者からの問合せ」があったという連絡がありました。
その参照情報は、インターネット上から得るソフトウェアに関するものです。現在も（よりいっそう）インターネット上で公開されている参照情報の引用も多くなっていますので、今後に向けて考えることも必要でしょう。
その書籍というのは
です。
いまや多彩な「プログラミング言語」が存在しますが、執筆当時もそうでした。この本は特定のプログラミング言語について述べたものではなく、さまざまなプログラミング言語に見られる共通の概念を「プログラミング」によって示そうと試みたものです。すなわち、「プログラミング言語をプログラムする」(Programming Programming Languages)ことで「プログラミング言語」の基本を理解することを目指しています。その内容については「古典的」だといえるでしょう。この考え方をここで詳しく述べることはせずに、関心のある方には本書を見ていただくとして、ここでは、この本の読者の方から問合せのあったことについて書くことにします。
本書では、「・・・をプログラミングする」というのですから、当然、そのためのプログラミング言語を使っています。執筆当時にはGoferという関数型言語が一般的でした。また、その処理系が無償で配布されていて読者の方々にも使っていただけると考えてGoferを使いました。当時（から何度かの増刷の間）は、このGoferはYale大学のサイトで提供されていました。本書のpp.220-221には、参考書リストの末尾に「ソフトウェアの入手方法」を載せてあります。今とは違って、ftpによってアクセスしていたようで、そのアクセス法（と標準的なレスポンス）を書いてあります。
ところが、今はそのサイトにはアクセスできなくなっています。現在、関数プログラミングに携わっている方々でもGoferという名前を聞いたことがないかも知れません。実際、半年ほど前に、私自身が著書の中のプログラムを掘り起こして使おうとしたときには、Goferではなく新しい言語に書き直しました。24年前（の出版時よりも数年前）に使った言語から、今、使っている言語への（少しの）書き換えでしたが、昔、自分で書いたものですし、著書に説明も書いたのですからそれほど手間はかかりませんでした。
さて、現在、この本で使っているソフトウェアから現在のソフトウェアに移行するのはどうすればよいのでしょうか。Goferだけではありませんが、このような（Goferだけではなく類似の）言語の発展として、いまはHaskellが一般的だといえるでしょう。読者の方々にもこの情報を提供したいと考えてこの記事を認めています。実際、現時点でそのような環境を整えるには、インターネットで「Haskell インストール」で検索すれば多くの情報が得られるでしょう。大別すれば、Windows OS向けとMac OS向けでしょうか。手元のOSに合ったシステムを導入していただきたいと思います。具体的な手順については、それぞれの説明を参照していただくのがよいでしょう。
さて、24年前の本書に現れるGoferプログラムのコード（テキスト）についても、当時、安定的に提供できると考えていた著者の所属先サイトを示していました。７年ほど前にそこを辞した後、そのサイトも閉鎖されていますので、その対応も必要でしょう。上述のように、GoferプログラムがそのままHaskellで処理できるわけではなく、少し、手を入れる必要がありますが、それでもなお、もとのテキストがあるとないでは大違いでしょう。そこで、ひとまず、ここに掲載することにしました。
zipファイルですが、ダウンロード後に解凍することによって各章のファイルが得られます。拡張子GSのついたファイルがGoferのプログラムで、拡張子LOGのファイルはGoferの処理系での実行結果です。さらに、GPという拡張子の付いたファイルでは、いくつかのGoferプログラムからなるプログラムの場合に関連するGoferのファイルを列挙したものです。活用いただければ幸いです。
