スキップしてメイン コンテンツに移動
TakLAB日誌
検索
このブログを検索
つくば計算機援用証明セミナー
Juliaで精度保証付き数値計算
2019の投稿を表示しています
すべて表示
投稿
2019年納め
12月 28, 2019
近況報告
雑感
精度保証付き数値計算
備忘録
+
macOS Catalina (10.15.2)で環境構築
12月 23, 2019
LaTeX
macOS
環境構築
備忘録
+
2020年度 工学システム学類 卒業研究配属について -その2-
12月 11, 2019
アナウンス
研究室配属
+
精度保証付き数値計算について想うこと
12月 09, 2019
雑感
精度保証付き数値計算
備忘録
+
2020年度 工学システム学類 卒業研究配属について -その1-
12月 02, 2019
アナウンス
研究室配属
+
近況報告(学会で発表しました ! など)
11月 09, 2019
学会参加記録
活動報告
近況報告
雑感
+
モントリオール滞在記 (2019)
11月 05, 2019
arXiv
活動報告
雑感
滞在記録
備忘録
論文
+
専攻公開が終了しました！（2019年4月）
4月 21, 2019
アナウンス
イベント
雑感
専攻公開
+
2019年度開始！
4月 19, 2019
アナウンス
イベント
雑感
+
平成30年度の工学システム学類卒業研究が終了しました
2月 15, 2019
活動報告
常微分方程式
精度保証付き数値計算
卒論
+
論文が出版されました
2月 12, 2019
arXiv
活動報告
精度保証付き数値計算
論文
+
その他の投稿