附置研究所・研究センター


最終更新日
2014/08/01


更新情報

2014年8月1日 第53回品川セミナー申込を開始しました

2014年7月25日 第54回品川セミナー情報を追加しました

2014年7月22日 第53回品川セミナー情報を追加しました

2014年7月4日 第52回品川セミナー申込を開始しました

2014年6月6日 第51回品川セミナー申込を開始しました

2014年5月22日 第52回品川セミナー情報を追加しました

2014年5月2日 第50回品川セミナー申込を開始しました

2014年4月4日 第49回品川セミナー申込を開始しました

2014年1月15日 第9回附置研究所・センターシンポジウム「京都からの提言」(仙台)申込を開始しました

2014年1月10日 第46回品川セミナー申込を開始しました

2014年1月10日 第47回品川セミナー情報を追加しました

2013年12月6日 第46回品川セミナー情報を追加しました

2013年12月6日 第45回品川セミナー申込を開始しました

2013年11月27日 第45回品川セミナー情報を追加しました

2013年11月1日 第44回品川セミナー申込を開始しました

2013年10月10日 第44回品川セミナー情報を追加しました

2013年10月3日 第43回品川セミナー申込を開始しました

2013年9月6日 第43回品川セミナー情報を追加しました

2013年9月6日 第42回品川セミナー申込を開始しました

2013年8月6日 第42回品川セミナー情報を追加しました

2013年8月2日 第41回品川セミナー申込を開始しました

2013年7月19日 第41回品川セミナー情報を追加しました

2013年7月5日 第40回品川セミナー申込を開始しました

2013年7月2日 第40回品川セミナー情報を追加しました

2013年6月1日 第39回品川セミナー申込を開始しました

2013年5月15日 第39回品川セミナー情報を追加しました

2013年5月2日 第38回品川セミナー申込を開始しました

2013年4月5日 第37回品川セミナー申込を開始しました

2013年3月6日 第38回品川セミナー情報を追加しました

2013年3月1日 第36回品川セミナー申込を開始しました

2013年2月5日 第37回品川セミナー情報を追加しました

2013年2月1日 第35回品川セミナー申込を開始しました

2013年1月21日 品川セミナー第36回情報を追加しました

2013年1月18日 品川セミナー第35回情報を追加しました

2013年1月11日 第34回品川セミナー申込を開始しました

2012年12月12日 第8回附置研究所・センターシンポジウム「京都からの提言」(北海道)申込を開始しました

2012年12月10日 第33回品川セミナー申込を開始しました

2012年12月5日 品川セミナー第34回情報を追加しました

2012年11月9日 品川セミナー第33回情報を追加しました

2012年11月2日 第32回品川セミナー申込を開始しました

2012年10月5日 第31回品川セミナー申込を開始しました

2012年10月2日 品川セミナー第32回情報を追加しました

2012年9月7日 第30回品川セミナー申込を開始しました

2012年8月27日 品川セミナー第31回情報を追加しました

2012年8月3日 第29回品川セミナー申込を開始しました

2012年7月30日 品川セミナー第30回情報を追加しました

2012年7月19日 品川セミナー第29回情報を追加しました

2012年7月6日 第28回品川セミナー申込を開始しました

2012年6月1日 第27回品川セミナー申込を開始しました

2012年5月18日 品川セミナー第28回情報を追加しました

2012年5月11日 第26回品川セミナー申込を開始しました

2012年5月7日 品川セミナー第27回情報を追加しました

2012年5月1日 品川セミナー第26回情報を追加しました

2012年4月6日 第25回品川セミナー申込を開始しました

2012年3月2日 品川セミナー第25回情報を追加しました

2012年3月2日 第24回品川セミナー申込を開始しました

2012年2月29日 品川セミナー第24回情報を追加しました

2012年2月8日 第23回品川セミナー申込を開始しました

2012年2月6日 品川セミナー第23回情報を追加しました

2012年1月6日 第22回品川セミナー申込を開始しました

2011年12月6日 品川セミナー第22回情報を追加しました

2011年12月2日 第21回品川セミナー申込を開始しました

2011年11月15日 品川セミナー第21回情報を追加しました

2011年11月7日 第20回品川セミナー申込を開始しました

2011年10月2日 品川セミナー第19回情報を追加しました

2011年10月2日 品川セミナー第20回情報を追加しました

2011年9月2日 第18回品川セミナー申込を開始しました

2011年8月29日 品川セミナー第18回情報を追加しました

2011年8月5日 第17回品川セミナー申込を開始しました

2011年7月5日 品川セミナー第17回情報を追加しました

2011年7月4日 第16回品川セミナー申込を開始しました

2011年6月6日 品川セミナー第19回情報を追加しました

2011年6月3日 第15回品川セミナー申込を開始しました

2011年5月25日 品川セミナー第15回情報を追加しました

2011年5月13日 第14回品川セミナー申込を開始しました

2011年5月9日 第6回附置研究所・センターシンポジウム(京都)申込を開始しました

2011年4月22日 品川セミナー第14回情報を追加しました

2011年4月14日 第13回品川セミナー申込を開始しました

2011年3月7日 品川セミナー第13回情報を追加しました

2011年1月24日 品川セミナー第12回情報を追加しました

2011年1月11日 第10回品川セミナー申込を開始しました

2010年12月10日 第9回品川セミナー申込を開始しました

2010年12月1日 第6回附置研究所・センターシンポジウム申込を開始しました

2010年11月10日 第8回品川セミナー申込を開始しました

2010年10月15日 品川セミナー第10回情報を追加しました

2010年10月12日 品川セミナー第9回情報を追加しました

2010年10月12日 品川セミナー第8回情報を追加しました

2010年10月12日 第7回品川セミナー申込を開始しました

2010年9月30日 品川セミナー第11回情報を追加しました

2010年9月13日 第6回品川セミナー申込を開始しました

2010年8月27日 品川セミナー第7回情報を追加しました

2010年8月9日 第5回品川セミナー申込を開始しました

2010年8月2日 第6回附置研究所・センターシンポジウム「京都からの提言」情報を追加しました

京都大学附置研究所・センター
Kyoto University Institutes and Centers (KUIC)


第6回京都大学附置研究所・センターシンポジウム 「京都からの提言-21世紀の日本を考える」

長谷川 真人 (京都大学数理解析研究所 教授)

もつれたソフトウェアを解きほぐす数学

 

 コンピュータソフトウェアは現代社会の縁の下の力持ちです。ソフトウェア の力を借りない日はほとんどないと言っても過言ではありません。私はコンピュー タなんて触らないよ、という方でも、実は、携帯電話、自動車、家電、などな ど、目に見えないところで知らず知らずソフトウェアの恩恵を受けているはず です。もちろん、企業や役所、公共交通機関などでは、より目につくかたちで ソフトウェアが活躍しています。

 それらのソフトウェアには数百万行に及ぶ巨大なものも珍しくありません。 そして、その中のほんの小さな不具合が、社会に致命的な影響を与えたという 事例は山のようにあります。入り組んだ巨大なソフトウェアを上手に設計し、 解析・検証し、さらに改良するためには、どのようにしたらよいのでしょうか? この講演では、数学を武器にしてソフトウェアに立ち向かう研究の、最近の動 向についてご紹介します。特に、ソフトウェアを数学的に正確に捉えることと、 現代数学が得意とする抽象化の考え方を用いてソフトウェアの本質に迫ること に重点をおいて、数学がコンピュータソフトウェアの研究開発において果たす 役割についてお話ししたいと思います。