シュプリンガー?イーブックス 利用者の声：法政大学情報科学部コンピュータ科学科 教授 劉 少英 先生
前 法政大学情報科学部コンピュータ科学科の劉 少英（リュウ ショウェイ）教授（现在、広岛大学先进理工系科学研究科教授）は、イーブックを研究発表の场として、また教育リソースとして効果的に活用されています。授业にイーブックを利用すること、また、大学図书馆がイーブックを所有することのメリットや、刘教授の今后の出版目标などについても语っていただきました。
国际化が进む日本の大学において、図书馆が英文书籍のイーブックを所蔵することを、国际化の指标として高く评価したい
蚕.先生のご研究の内容と研究室についてご绍介ください。
私の研究は大きい分野でいうとソフトウェア工学です。研究の内容としては、形式工学手法、つまり数学を用いてソフトウェアシステムを开発する手法なのですが、伝统的な形式手法より実用性の高い形式的なやりかたと、その手法を集中して研究してきました。基本的にはそのソフトウェアシステムの信頼性と安全性（セーフティとセキュリティの両方を含める）を保証する技术です。研究室は现在、博士が１名、9月からもう１名来ます。修士は3名、4年生の学生は7名。そのうち留学生は博士２名、修士2名の计4名です。学生たちも、この分野のさまざまな课题について研究しています。
蚕.授业は英语で行っていらっしゃいますか。
大学生の授业は基本的には日本语です。ときどきは英语でしゃべりますけれども、基本的には日本语で。大学院生、特に修士の授业は全部英语で行っています。大学院生のゼミも全部英语で书いたり、质问したりすることになっています。
蚕.先生は书籍の着者としてもご高名ですが、着者としてイーブックのメリットはどのようなものがあるでしょうか。
普段は研究者としてジャーナルや国际会议で、论文を発表することが多いのですが、论文と比べてイーブックの方がページ数に制限がないので、技术を细かく系统的にたくさんの事例を使って绍介することができるのが非常に良いですね。绍介する技术に関わる参考资料、例えば仕様、设计図、コード、テストデータといった、様々な必要资料も入れることができます。もう一つはやはり、国际会议や他の大学访问で讲演をする时に、イーブックは绍介しやすいです。昔は自分の本を绍介するために、重くても册子を持っていかねばならなかったのですが、今はそのイーブック版のリンクがありますので、绍介がしやすいと思います。
蚕.教育者として教育面でのイーブックの良いところをお话しいただけますか。
イーブックでは基础的な技术と知识を系统的に绍介することができます。细かく书くことができるのがいいところだと思います。また、普段は（読者である）先生も学生も时间があまりないですよね。だから本は、早く简単にアクセスできればいい。その点でもイーブックがいい。さらにイーブックは持ちこみやすい。重量がない。昔のように册子の书籍であれば重いでしょう。イーブックは授业の中で使いやすいと思います。
蚕.先生は授业でイーブックの内容を引用して教えられることはありますか。
あります。特に大学院生のゼミの时に、一部の学生が、基本的な知识が足りない场合は、「この本を参考にしてください」と。その场合にイーブック版があれば、リンクがありますので绍介しやすいですね。
蚕.法政大学はイーブックをコレクションで所蔵されています。大学での电子ブック利用にはどのような利点があるとお考えでしょうか。
やはりイーブックがあると、先生も学生も简単にアクセスできますので、授业で使いやすい。册子の书籍を购入するより、イーブック利用の方がコストが低いので、学生にとっては负担が少ないです。それで学生も积极的に参考にすることができますよね。まあ、この顷は日本でもスーパーグローバル大学など、留学生を受け入れて教育している。そして国际化が进んでいますので、外国の访问者もどんどん来ます。大学の図书馆が英文书籍のイーブックを所蔵していると、国际化の指标として高く评価されるのではないかなと。そういうところでも利点があります。また、私も自分の研究室で座りながら、すぐに自由にイーブックにアクセスできます。学生も研究に、勉强に、时间を节约できますし。それは非常によいと思います。
蚕.先生は他の研究者の方々の本もイーブックでお読みになりますか。
&苍产蝉辫;もちろん。特に研究では自分の本だけでなく、他の人が书いた本、特に自分や学生の研究に関わる基础知识の本を利用します。学生はそういう本があっても、知らない场合もありますので、绍介して、参考にしていきます。
蚕.今后、どのような本をお书きになりたいか、构想をお话し下さい。
私のソフトウェア工学分野の研究歴は40年近いのです。そして形式工学手法の研究は30年になります。特に最近5年间はアジャイルソフトウェア开発の方法と、今まで开発してきた形式工学手法、つまり数学を使って厳密的にソフトウェアを开発する方法を融合して、より使いやすい厳密で系统的なソフトウェア开発方法を生み出してきました。それを学生たちや世界に绍介したいので、研究をまとめて本を出したい。出版したら授业に使ったり、国际讲演をするときに使ったり、コミュニケーションするときにも使うつもりです。まあ、それは来年以降になりますけれど。
蚕.先生の代表的着书をご绍介ください。
2004年にシュプリンガーで出版してもらった、「」です。この本は基本的に、今まで开発されたフォーマルメソッド（厳密的な开発方法）と伝统的なソフトウェア工学の技术を融合し、统合して、より実用性が高いフォーマルメソッドの开発を绍介しています。この本は今までおそらく20大学の大学院生と学生の授业で読まれていると思います。
【刘先生にとってのイーブックのメリット】
|
* 所属、タイトル、研究内容や研究室の構成は2019年8月時点の情報です
