スキップしてメイン コンテンツに移動
TakLAB日誌
検索
このブログを検索
つくば計算機援用証明セミナー
Juliaで精度保証付き数値計算
投稿
2020年度春学期限定、筑波大学のメアドを使ったMATLABのインストール方法
4月 15, 2020
アナウンス
イベント
セミナー
環境構築
精度保証付き数値計算
+
2020年度、高安研ゼミの実施方法
3月 25, 2020
アナウンス
セミナー
修論
卒論
+
学生が文章を書くときに注意すること
3月 08, 2020
LaTeX
アナウンス
セミナー
英語
英語は大事
修論
卒論
輪読
論文
+
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
活動報告
常微分方程式
精度保証付き数値計算
卒論
+
その他の投稿