スキップしてメイン コンテンツに移動
TakLAB日誌
検索
このブログを検索
つくば計算機援用証明セミナー
Juliaで精度保証付き数値計算
投稿
平成30年度の工学システム学類卒業研究が終了しました
2月 15, 2019
活動報告
常微分方程式
精度保証付き数値計算
卒論
+
論文が出版されました
2月 12, 2019
arXiv
活動報告
精度保証付き数値計算
論文
+
2018年納め
12月 31, 2018
雑感
備忘録
+
平成31年度 工学システム学類 卒業研究配属について --その2--
12月 10, 2018
アナウンス
研究室配属
+
平成31年度 工学システム学類 卒業研究配属について --その1--
11月 27, 2018
アナウンス
研究室配属
+
JSIAM 2018年度年会 参加報告
10月 28, 2018
学会参加記録
+
秋学期開始&秋季専攻公開
10月 19, 2018
アナウンス
雑感
専攻公開
+
macOS High Sierra (10.13.6)で環境構築
8月 30, 2018
LaTeX
macOS
環境構築
備忘録
+
精度保証付き数値計算の教科書が出版されました
7月 06, 2018
アナウンス
教科書
雑感
精度保証付き数値計算
+
はじめまして
6月 06, 2018
研究室配属
卒論
+
2018年春季専攻公開
5月 09, 2018
活動報告
研究室配属
専攻公開
+
研究室のポスターを作成しました
5月 07, 2018
アナウンス
活動報告
専攻公開
+
2018年度開始!
4月 02, 2018
アナウンス
雑感
+
その他の投稿