スキップしてメイン コンテンツに移動
TakLAB日誌
検索
このブログを検索
つくば計算機援用証明セミナー
Juliaで精度保証付き数値計算
投稿
H29年度卒論・修論提出終了
2月 20, 2018
活動報告
修論
卒論
+
H29年度卒業研究がひと段落
2月 20, 2018
活動報告
常微分方程式
精度保証付き数値計算
卒論
+
H30年度卒研配属生のみなさんとの初顔合わせ
2月 20, 2018
活動報告
研究室配属
雑感
+
数理人セミナー@早稲田大学 参加報告
2月 19, 2018
セミナー
学会参加記録
+
平成30年度 工学システム学類 卒業研究配属について --その3--
12月 05, 2017
アナウンス
研究室配属
+
平成30年度 工学システム学類 卒業研究配属について --その2--
12月 05, 2017
アナウンス
研究室配属
+
BoW更新メモ
11月 30, 2017
Ubuntu
環境構築
備忘録
+
研究室について(学生からの印象)
11月 14, 2017
研究室配属
雑感
+
平成30年度 工学システム学類 卒業研究配属について --その1--
11月 07, 2017
アナウンス
研究室配属
+
秋学期開始!
10月 03, 2017
アナウンス
研究室配属
+
合同ゼミ@早稲田大学
9月 25, 2017
セミナー
活動報告
+
JSIAM 2017年度年会 参加報告
9月 13, 2017
学会参加記録
活動報告
+
論文が出版されました
7月 30, 2017
精度保証付き数値計算
偏微分方程式
論文
+
その他の投稿