2020年度研究室インターンシップ
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| 2020年度研究室インターンシップ [2020/10/15 12:26] – admin | 2020年度研究室インターンシップ [2025/02/21 18:55] (current) – external edit 127.0.0.1 | ||
|---|---|---|---|
| Line 36: | Line 36: | ||
| ===対象=== | ===対象=== | ||
| - | 浮動小数点演算で生じる誤差について興味がある人． | + | コンピュータで科学的・数学的な問題を解くことに興味がある人． |
| ====（中級）定理証明支援系を使ってプログラムの持つ性質の証明を体験 [担当：川端]==== | ====（中級）定理証明支援系を使ってプログラムの持つ性質の証明を体験 [担当：川端]==== | ||
2020年度研究室インターンシップ.1602732361.txt.gz · Last modified: 2025/02/21 18:55 (external edit)