easyarithmetician's tips and announcements

2013-10-28

計算機演習（第3回）

今回の授業では、Mathematica における「リスト」を紹介し、リストを用いた、線形代数の行列やベクトルの計算を中心に紹介しました。線形代数では、固有値と固有ベクトルを用いた行列の n 乗の計算を取り上げました。

次回は微積分の計算を行う予定です。

2013-10-21

計算機演習（第2回）

今日は第2回の授業ということで、Mathematicaへの入門的な内容ですが、第1回より進んだ内容でした。題材は、連立方程式、グラフィクス、アニメーションなどでました。

アニメーションでは、空間の直線、曲線や曲面のパラメータ表示に対し、さらに時間に依存する変数を加えることによって図形を描画します。空間図形の数式による表現で苦労している人もいたようですが、こうした考察が数学的な思考力を鍛えることにもつながると思いますので、頑張ってほしいと思います。

次回は線形代数に関するテーマを扱います。

2013-10-18

研究集会「数式処理研究と産学連携の新たな発展」のレクチャーノートがオンラインで読めます

先日、附属図書館に入れていただいた、研究集会「数式処理研究と産学連携の新たな発展」のレクチャーノートの電子版 (PDF) が、このほど、九州大学マス・フォア・インダストリ研究拠点の web サイトに掲載されました。ぜひご利用ください。

http://gcoe-mi.jp/publish_list/pub_inner/id:2/cid:21

全文公開にご協力下さった著者の皆様、ならびに電子版の作成にご協力下さった九州大学マス・フォア・インダストリ研究所に御礼申し上げます。

2013-10-17

計算機演習（第1回）

今日から、実質的な授業が始まりました。今日は、e-learning システムの使い方と Mathematica の基本的な使い方について一通り説明した後で、第1回の教材に取り組んでもらいました。

昨年の授業の際、今年は全学計算機システムが入れ替わって「たぶん Windows 7 が入るでしょう」という予想を書きましたが、果たしてその通りになりました。今年から稼働している新しいシステムは、Windows の起動に非常に時間がかかるとの評判ですが（そして Mathematica の起動にも案外時間がかかるようです）、4月の導入以来、地道に改善の努力は続けているそうですので、今後の改善に期待したいと思います。

今日は木曜日ですが月曜授業の日で、今日出題の第1回レポート課題の締切は来週10月21日（月）です。通常より締切までの期間が若干短いですが、今回は初回で課題の量や難易度は若干控えめにしているつもりですので、各自頑張って取り組んでほしいと思います。

次回はMathematicaによるグラフィックスやアニメーションなどの話題を取り上げる予定です。

2013-10-07

計算機演習（第0回）

今年も、数学類の授業科目「計算機演習」を担当することになりました。内容は主に数式処理システム Mathematica の体験と実習です。

昨年度までと変わった点は、授業時間の変更です。昨年は火曜日でしたが、今年は2学期制移行による時間割の変更で、月曜日になりました。ただし、数学類では、昨年の新入生（＝今年の2年生）までは、昨年度までの3学期制のカリキュラムが適用されるので、授業期間は3学期制の1学期間に相当する、秋学期のA, Bモジュール（10月から12月中旬まで）となります。

もう一つ、私にとって新しかったのは、今度の数学類の2年生の人達と授業で顔を合わせるのは初めての機会だということです。これまでは、何かの授業で、少なくとも一部の人達とは1年生の頃から顔を合わせていましたが、今回は初顔合わせです。これからよろしくお願いします。逆に、数学類以外で昨年度授業を受け持ったクラスの人達とは、久々の再会です。こちらもよろしくお願いします。

今日は、ガイダンスということで、Mathematica の紹介や、単位のとり方などの説明を行いました。実際の授業は、来週から、サテライト端末を使って行います。なお、今日の欠席者で、授業後に連絡を下さった人達には、これから個別に連絡します。

2013-10-03

卒業予備研究 (2014) 募集開始

今年も卒業予備研究の募集をする時期になりました。私は、今年度に引き続き、今年度の卒業予備研究と、来年度の卒業研究を担当することになりました。

私の担当する内容ですが、だいたいは昨年と同じです。今年、これまでの卒業研究を経験して、昨年から追加や変更をした点は次の通りです。

卒業研究のテーマについては、今年度のチームの皆さんが、多項式の因数分解を中心に取り組んでいますので、来年度は当初予定のテーマから外しました。（学生の人達がこのテーマを希望すれば取り上げる可能性はありますが、ひとまず私が最初に用意する手札には含めない、ということです。）それに代わり、今回は量限子消去 (Quantifier Elimination) の話題を含めました。
プログラム言語 Java の学習については、今年、共通科目「情報」で開講された Java の授業を受講したので、来年も、スケジュールが合えば、その路線でいこうと思います。

私が担当する内容については以上ですが、今回はもう一つ、クラス担任として、卒業（予備）研究全体をとりまとめる仕事もあります。

卒業研究は、学生が担当教員から1人の先生を選び、その先生のもとで勉強するわけですが、その所属（配属）は以下の手順を経て決められます。

学生が各先生を訪問したりして、所属を希望する先生を選ぶ
所属希望調査を行い、第一希望と第二希望を提出（記入）
希望者が多いところは人数調整
全員の所属先を決定

こうした所属先の決定をとりまとめるのがクラス担任の仕事です。というわけで、今日は、卒業予備研究のためのガイダンスを開きました。ガイダンスでは、卒業予備研究と卒業研究の制度や所属の決め方について説明します。配布資料には、あらかじめ担当の先生方に書いてもらったシラバスを書いてもらって集め、資料としてまとめます。こうしたシラバスの執筆依頼や資料の編集もクラス担任の仕事です。

そんなわけで、今日の午後に行われた説明会も無事終わり、今年の3年生の卒業予備研究に向けた準備が始まりました。書くのが遅れましたが、今年から2学期制になったため、これまで3学期に行われていた卒業予備研究は、秋学期のB, Cモジュール（11月頭〜1月末）に行われます。所属希望調査の方は今月中に行われ、今月末には決まる予定です。

最後に、昨年同様、卒業研究のシラバスと案内書を作りましたので、リンクを載せておきます。

2013〜2014年度卒業予備研究・卒業研究シラバス http://goo.gl/zblWKY
2013〜2014年度卒業研究案内 http://goo.gl/IizCt6

2013-10-01

研究集会「数式処理研究と産学連携の新たな発展」のレクチャーノートが附属図書館 web サイトにて紹介されました

去る8月に開催した研究集会「数式処理研究と産学連携の新たな発展」では、研究発表をまとめた予稿集を、九州大学よりレクチャーノートとして出版していただきました。

このたび、レクチャーノートを筑波大学附属図書館に寄贈し、附属図書館の学生向け web サイト「週5図書館生活、どうですか？」にて、教員の著作として紹介していただきました。その際に寄せましたコメントを転載します（元記事へのリンクは末尾をご覧下さい）。

【本の情報】

『数式処理研究と産学連携の新たな発展 : マス・フォア・インダストリ研究所共同利用研究集会II (COE lecture note : Kyushu University:v. 49. MI lecture note series)』. 九州大学マス・フォア・インダストリ研究所/九州大学大学院数理学研究院[グローバルCOEプログラム「マス・フォア・インダストリ教育研究拠点」] , 2013.8【分類418-Te76】

【コメント】

本書は、2013年8月21日から23日にかけて、九州大学伊都キャンパスで開催された研究集会「数式処理研究と産学連携の新たな発展」(https://sites.google.com/site/imidcar2013/) での研究発表をまとめた予稿集です。

「数式処理」は「数値計算」に比べてまだなじみが薄く、ご存知でない方もいらっしゃるかもしれません。「数値計算」が計算機で数値からなるデータを扱うのに対し、「数式処理」は、多項式や方程式といった「式」を直接計算機で扱います。本学の全学計算機システム（サテライト端末）にも「Mathematica」をはじめとする数式処理システムがいくつか入っていますので、興味がある人は使ってみてください。

さて、数式処理は、この30年くらいで大きな理論的発展を遂げ、応用も徐々に広まっていますが、欧米などに比べると、日本での産業界への浸透はまだ遅れていると思われます。そこで、この研究集会は、国内における数式処理の産業への応用や産学連携の促進を目的として開催しました。

研究集会では、海外や国内で数式処理の産業への応用を先んじて行っている方々を招き、それらの事例についてお話しいただきました。それから、国内の（若手の人達を中心とする）数式処理の研究者による研究成果を紹介してもらうとともに、数式処理を活用している、もしくは活用したいと思っているような応用分野の方々との情報交換を行いました。

本書では、招待講演2件、一般講演16件を収録しており、招待講演では数式処理の医療技術や自動車産業への応用、一般講演では、おそらく世界初となる17次の判別式の計算から、ルービックキューブや数独パズルの解析まで、数式処理の理論や応用の多岐にわたるテーマをカバーしています。

皆さんにも、本書で、数式処理の応用に向けた日本発の取り組みについて知っていただければ幸いです。さらに興味を持った人は、ぜひ一緒に数式処理のおもしろさを学び、新たな応用の世界を探求してみましょう！

レクチャーノートは、中央図書館に収蔵され、貸出可能になっていますので、ぜひご覧下さい。私の手元にも、数部残部がありますので、興味がある方はご連絡ください。

教員著作紹介コメント（照井章先生） http://www.tulips.tsukuba.ac.jp/w5lib/?p=3364
週5図書館生活、どうですか？ | 筑波大生のための図書館Webサイト http://www.tulips.tsukuba.ac.jp/w5lib/

2013-09-17

卒業研究 (2013) 夏休み集中セミナー

今年度から、本学の学年歴が、それまでの3学期制から2学期制に変わりました。それに伴い、夏休みも、昨年まで7月と8月だったのが、今年から1か月繰り下がって8月と9月になりました。現在は、夏休みもあと半月弱を残すところです。

今年度の卒業研究のセミナーは、夏休み後半の9月に集中セミナーを入れました。今日も朝からセミナーでしたが、昨日は私の誕生日でした。私としては、誕生日は昨日の事と思っていましたが、チームの学生の皆さんがお祝いして下さいました。ありがとう！おかげさまで、今日は朝からおいしいスイーツをいただいてからのセミナーとなりました。（今回のようにケーキが出るのは稀ですが、普段からセミナーにはコーヒーとお茶菓子を常備しています。）

さて、夏休み中のセミナーは、9月の毎週火曜日、午前中と午後に入れています。午前中は10時から、計算代数の中から、多項式の因数分解のアルゴリズムを学んでいます。午後は、春学期から学んできたプログラミング言語 Java の勉強で、こちらは各自が机を合わせて（というか、大きなテーブルにまとまって）それぞれのペースで学びながら、互いに教えあったりする形をとっています。

Java の実習に使う計算機環境も、皆さんそれぞれです。基本的には、昨冬から使っている Ubuntu (Linux) を使っていますが、昨冬の卒業予備研究で作成した USB メモリから起動する Ubuntu を使う他、仮想化ソフトウェア VMWare で仮想マシンを作成し、そこに自力で Ubuntu をインストールして使っている人もいます。Java の開発環境は Eclipse を使っています（春学期に受けた共通科目「情報」から継続して使っています）。

各種ソフトウェアのインストールや設定は、昨冬の卒業予備研究の時は最初の機会でしたので、私が詳細なドキュメントを作って説明しながら進めましたが、現在は、学生間で教えあったりしながら、各自がほぼ自力で進めています。私が登場するのは、通常の作業手順にないトラブルなどが発生したときです。

午前と午後のセミナーの合間には、一同でランチに出かけます。先々週は焼肉店、先週は中華料理、今日はインドのカレー屋さんと、みんなでいろいろな味を食するのも楽しみの一つです。

午後のセミナーは午後4時過ぎにお開きになりますが、その後も、秋の大学院入試を受ける人が夕方まで院試対策に勤しんだり、皆さんそれぞれ頑張っているようです。

夏休みのセミナーはあと来週の1回を残すのみとなりました。休みが明けるとだんだん卒業研究モードになっていくと思いますが、卒業研究に向けて、数学と Java の基礎知識の仕上げに努めたいと思います。あと、来週にはチームでの飲み会も予定しています。これまで、計算機数学グループの懇親会はありましたが、チームの飲み会は、なかなか機会がありませんでしたので、今回が初めてです。こちらの方も楽しみにしながら、セミナーを頑張りたいと思います。

2013-09-09

筑波大学数学教室の YouTube チャンネル「つくば数学チャンネル」を開設しました

タイトルにあります「数学教室」は、正確には学部組織の「理工学群数学類」、大学院の「数理物質科学研究科数学専攻」、そして教員組織の「数理物質系数学域」に分かれていますが、筑波大学の数学の組織から情報を発信するための YouTube チャンネルを開設しました。

つくば数学チャンネル (Tsukuba Math Cannel)
http://www.youtube.com/user/tsukubamath/

筑波大学数理物質科学研究科数学専攻
数学専攻トピックス：数学専攻オープンキャンパス（大学院説明会）の講演録画を公開（2013年9月9日）
http://nc.math.tsukuba.ac.jp/jotc36kfy-195/#_195

今回、開設のきっかけになったのは、大学院のオープンキャンパス（説明会）の模様の紹介です。

オープンキャンパスの際に行われる数学専攻説明会では、数学専攻の概要と、各研究分野の紹介を行っています。数学専攻の概要説明では、数学専攻の教育目標、カリキュラム、施設、進路状況などを紹介しています。各研究分野の紹介では、各分野の特徴や、指導教員の研究内容を紹介しています。
（上記記事より）

大学院への進学を目指す人にとっては、大学院の様子や教育・研究内容について、このように詳しく知ることのできる機会は貴重ではないかと思います（ついでに、オープンキャンパスの際は、上記の説明会の後に、大学院生の人達との懇談会もあり、そちらも大学院の内情を知る上でよい機会ではないかと思います）。それから、分野紹介では、各分野の教員と専門分野が一通り紹介されるので、筑波の数学でどのような研究が行われているか、どのような分野の数学を学ぶことができるかを知る上で、一般の人にとっても有益な情報ではないかと思います。

今回の動画公開にあたっては、私が、講演者の先生方と（私自身も昨年の情報数学・数理科学分野の紹介を行い、今回の録画の公開に加えましたが）、数学専攻学務委員（大学院の教務主任）の先生の協力を得て、準備を進めてきました。専攻内には、こうした形の情報公開についていろいろな意見があるので、今回は、オープンキャンパスに限っての動画公開が数学専攻で承認されました。今後も、当面の間、動画公開にあたっては、案件毎に承認を得て進めることになると思いますが、これからも、新しい形での情報発信の可能性を探りたいと思います。

2013-08-29

研究集会「数式処理研究と産学連携の新たな発展」

先週になりますが、8月21日から23日にかけて、研究集会「数式処理研究と産学連携の新たな発展」が、九州大学伊都キャンパスにて開催されました。

この研究集会は、もともと、京都大学数理解析研究所にて、RIMS共同研究「数式処理研究の新たな発展」として、例年7月に行われているものです。今回は、九州大学マス・フォア・インダストリ研究所 (IMI) の共同利用研究の一つとして、九州大学で行われました。

RIMSの場合もそうですが、「共同利用研究」とは、研究所が数学のいろいろな分野（IMI は特に産業と結びつくような数学に重点を置いています）の研究の発展を支援することを目的として、「研究集会」や「短期共同研究（数人程度の研究者が集中的に議論をすること）」の提案を募り、選定された事業（研究集会やセミナー）に対して、場所や資金の援助をするものです。IMI の共同利用研究の場合は、開催場所の提供、講演者への旅費の援助、レクチャーノート（予稿集）の出版といった援助を受けられます。

今年は、諸事情により、私が研究代表者を仰せつかり、年始に研究集会の応募を行いました。そして、幸いにも春先に採択され、これまで準備を進めてきました。

IMI の研究集会は、産学連携を推進する立場から、「組織委員会の委員と講演者とには，それぞれ産業界からの参加を必須と」することと、「国際化の推進のため，招待講演者として外国人を1名以上含めること」という条件がありました。日本においては、数式処理は数値計算に比べると一般的に認知度が低く、産業界で数式処理が使われるというのはまだ少ないと見ています。そこで「数式処理の理論を産業に応用しようという先進例」と「現場のエンジニアの方が積極的に数式処理を使おうという試み」という立場から、第一人者の方々を招いてお話してもらうことにしました。

「数式処理の理論を産業に応用しようという先進例」では、Wen-Shin Lee さん（ベルギー・アントワープ大学）に「関数補間の信号処理への応用」という内容でお話いただきました。「関数補間」は、いくつかの測定データから、もとの関数を求めるという計算です。Wen-Shin さんらの研究グループが行っているのは、これを医療などの信号処理に役立てようというものです。医療現場では、脳波など、いろいろな生理学的な測定データからなる信号が作られ、それらが人体に取り付けられたセンサから測定機に送られます。最近は無線で信号を伝えることも多いですが、測定データがたくさんあると、それだけ信号の伝送にも時間がかかり、機器の消費電力もかさみます。そこで、測定データを適切な関数で表すことで、信号の伝送量を節約し、電気も節約しようというのです。

これは、日本の数式処理屋にとってはいくつもの点で驚きです。まず、医学の分野で数式処理が応用されるというのは、少なくとも日本ではこれまで聞いたことがありません。次に、信号処理への応用も、日本ではまだあまりなじみがありません。すでにやられている方もいるかもしれませんが、少なくとも日本の数式処理の研究者の間ではほとんど知られていないと思います。こういう点から、数式処理の産業への応用例として、非常に参考になりました。

「現場のエンジニアの方が積極的に数式処理を使おうという試み」では、伊藤久弘さん（トヨタ自動車）に「数式処理のエンジン制御系設計への活用に関する課題と期待」という内容でお話をいただきました。現場のエンジニアにとっては、数式（文字を含む式）を直接扱うことのできるソフトウェアが役に立つこと、燃焼の化学反応などは、ある時間を固定すれば最適な設計パラメータが得られるが、これを時間の推移とともに次々に求めるにはまだまだ現在の計算法やソフトウェアの技術は不足であること、これらの問題を解決するために、今後の数式処理の理論やソフトウェアの発展に期待が集まっていることなどが話されました。数式処理を実際に使う立場からの要望として、非常に参考になったと思います。

研究集会では、これらの招待講演のほかに、16件の一般講演も行われました。内容も、数学への応用から、数独やルービック・キューブの話題まで、多岐にわたり、質疑応答も活発に行われました。

この研究集会は、例年、比較的小規模に行われていますが、今回は、最大で35人程度の人達が集まり、活況を呈していました。参加された皆様に御礼申し上げます。今後も、数式処理の活用の場がより広がるよう、活動を続けたいと思います。なお、予稿集は、九州大学より「MIレクチャーノート」の1冊として刊行され、今後、オンラインでも公開される予定です。

2013-08-07

研究集会「数式処理研究と産学連携の新たな発展」開催と参加のご案内

以前、お知らせした研究集会ですが、いよいよあと2週間程で開くことになりました。

下記の通りお知らせいたします。つきましては、皆様ふるってご参加下さいますようご案内申し上げますとともに、関係各位に広くお知らせいただければ幸いです。

九州大学マス・フォア・インダストリ研究所共同利用研究集会

数式処理研究と産学連携の新たな発展

https://sites.google.com/site/imidcar2013/
2013年8月21日（水）～23日（金）
九州大学伊都キャンパスセンター2号館 2310室（福岡市西区元岡744）

研究集会のあらまし

本研究集会は、これまで毎年夏に京都大学数理解析研究所にて開催されてきた RIMS 共同研究「数式処理研究の新たな発展」のシリーズの一つですが、今年は、九州大学マス・フォア・インダストリ研究所 (IMI) の共同利用研究として、数式処理研究の産学連携や産業界への応用を特に視野に入れて開催します。

今回は、数式処理の産業への応用研究や、産業界における数式処理システムの活用事例と数式処理への期待と課題などについて、海外および国内の招待講演者によるチュートリアルセッションを企画しています。

一般講演の方は、制御系設計といった数式処理の産業への応用をはじめとして、数学における数式処理の利用、ソフトウェア、教育など、数式処理の理論、実装、応用に関するさまざまな取り組みに関する研究発表が予定されています。

参加申し込み

参加費、事前参加申し込みは不要で、どなたでも参加できます。

プログラム

プログラムは、研究集会 web サイトに日本語版、英語版のPDFファイルを置いてありますので、ご利用ください。
https://sites.google.com/site/imidcar2013/program

「情報交換」のセッションについて

研究集会2日目、8月22日の最後に「情報交換」のセッションがあります。これは、数式処理や計算代数に関連した研究会等の開催に関する情報提供やアナウンスを行うものです。

アナウンス時間は、原則として1件につき数分（～5分程度）とさせていただき、内容に関しては、大学の研究集会であることから、原則として非営利目的のものに限らせていただきますので、ご了承ください。（ご不明な点がございましたらご相談ください。）

アナウンスには講演同様プロジェクタを利用できます。チラシも（通常ですと）会場内に置くスペースがあると思います。

もし、このセッションでの宣伝等をご希望の場合は、簡単な内容を添えて、組織委員連絡先 dcar2013 at math.tsukuba.ac.jp までご連絡下さい。

もちろん当日飛び入りでもかまいませんが、もしあらかじめアナウンスを予定されている場合はご連絡いただければ、当方の段取りの上で助かります。

懇親会の開催について

以下の要領で、懇親会の開催を予定しています。

日時：8月22日（木）（第2日目）日程終了後（上記の「情報交換」セッションの後）
場所：天神地区周辺

つきましては、参加予定の方は、8月16日（金）までに、組織委員の横山俊一（連絡先はホームページを参照）までご連絡いただければ幸いです。（当日参加も可能です）

その他、何かございましたら、組織委員連絡先 dcar2013 at math.tsukuba.ac.jp までご連絡下さい。

以上、よろしくお願いいたします。

照井　章（研究代表者; 筑波大学）

2013-07-31

数理科学IIA（第15回）

今回は、この授業の最終回でしたが、前回までに証明した「部分終結式の基本定理」を踏まえ、（拡張）Euclid 互除法による多項式剰余列計算の際に起こり得る係数膨張を抑える方法の一つとして、Collins (1967) による「縮小 PRS 算法」を紹介しました。

George E. Collins. Subresultants and Reduced Polynomial Remainder Sequences. Journal of the ACM, Volume 14, Issue 1, 128-142, 1967. doi: 10.1145/321371.321381

縮小 PRS 算法による係数膨張の抑制の仕組みを説明した上で、数式処理システム Mathematica を用いて例題を計算し、擬剰余による PRS と縮小 PRS での係数膨張の程度を比較しました。

以上でこの授業を一通り終えました。この授業では、計算代数の基礎を取り上げ、多項式演算、アルゴリズム、計算量といった、現実の計算を考慮する上で必要な概念を説明しました。今後も皆さんの学習に役立てていただければ嬉しく思います。

なお、今回、本授業最後となるレポート課題を出題しました。それから、今回のレポート課題には、今日の授業の内容が必要ですが、今日は学会参加等で授業を欠席している人もいましたので、今回のレポート課題と授業資料を PDF ファイルにして配布します。

授業サポートページ：https://www.math.tsukuba.ac.jp/~terui/ms2a-2013

2013-07-30

線形代数I（第28回）

今回は、この授業の最終回になりましたが、前々回の授業で証明を説明しきれなかった部分（線形写像の核が部分空間をなす、等）の説明と、線形写像の像と核を計算する例題を説明し、この授業を終えました。

最後に、この授業を終えるにあたってのコメントですが、普段、授業でこういった話をすると、しばしば話にまとまりがなくなるものですが、今回、珍しく、授業の最後にまとまった話ができましたので、抜粋して引用します。（録画では 49分00秒頃からです。）

これで、春学期の線形代数Iの範囲は一通り終わりました。分量の割に時間の制約もあったりして、本来説明したいと思うこと全部は説明できませんでしたが、この授業で説明したいと思った内容は、講義ノートの方に書きましたので、今後も必要に応じて参照していただければと思います。

この授業で、線形代数の基本的な事項を説明すると同時に、数学において、どのように問題を解くかや、どのような道具立てで現代の数学が成り立っているか、といった基本的な部分について（説明したつもりですので）、少しでも皆さんに知っていただければ嬉しく思います。

今後、皆さんが数学に触れる機会は、人によってはもうほとんどないかもしれませんし、人によってはまだあるかもしれませんが、線形代数は、微積分と並んで、現代の科学技術が発展した社会において、どこでも使われている道具（の一つ）ですので、皆さんがこれから社会に出たり勉強を続けたりする中で、また（線形代数が）必要になりましたら、線形代数の教科書やノートを広げてほしいと思います。

この講義も一通りビデオ収録しまして、（今後）何事もなければ、収録した録画もずっと（今のまま）置いているつもりですので、また（線形代数を）復習したくなったり、あるいは照井の話を聞いてみたいと... ないかもしれませんが（笑）... 思った時には、戻ってきていただければありがたいと思います。

ということで、皆さん、これから大学生活が続くと思いますが、ますますのご活躍を祈りまして、それから（今度の）試験の成功も祈りまして、この授業を終わりにしたいと思います。ありがとうございました。

授業サポートページ：https://www.math.tsukuba.ac.jp/~terui/la1-2013

2013-07-26

線形代数I（第27回）

今回は「線形結合と部分空間」ということで、いくつか（とりあえずここでは有限個）の数ベクトルの線形結合全体のなす集合が、もとの数ベクトル空間の部分ベクトル空間をなすこと、2つの数ベクトル空間 A, B と、A から B への線形写像 f が与えられたときに、A のすべての基本ベクトルを f で移したベクトル達が、f の像空間 Im f を生成するという事実（定理）を説明しました（証明つき）。それから、付録として、数ベクトル空間の基底と次元について説明しました。

次回は最終回ですが、前回の授業で時間が足りなくなって説明できなかった、定理の証明の一部と例題を説明したいと思います。

なお、本授業の期末試験は、来週8月2日（金）に実施します。要項は授業のサポートページに書きましたので、履修者はよく確認してください。

授業サポートページ：https://www.math.tsukuba.ac.jp/~terui/la1-2013