2020年度研究室インターンシップ
Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
| 2020年度研究室インターンシップ [2020/10/15 12:24] – created admin | 2020年度研究室インターンシップ [2025/02/21 18:55] (current) – external edit 127.0.0.1 | ||
|---|---|---|---|
| Line 29: | Line 29: | ||
| 提供されているツールを使い，比較的簡単な方法で，システム構築をしたり，組み込みプログラミングをしてみたい人 | 提供されているツールを使い，比較的簡単な方法で，システム構築をしたり，組み込みプログラミングをしてみたい人 | ||
| - | =====数値計算プログラミング===== | + | =====プログラミング技術／環境===== |
| ====（初級）コンピュータの計算ミス（？）を確かめる：多倍長演算や区間演算を体験してみよう [担当：川端]==== | ====（初級）コンピュータの計算ミス（？）を確かめる：多倍長演算や区間演算を体験してみよう [担当：川端]==== | ||
| Line 36: | Line 36: | ||
| ===対象=== | ===対象=== | ||
| - | 浮動小数点演算で生じる誤差について興味がある人． | + | コンピュータで科学的・数学的な問題を解くことに興味がある人． |
| ====（中級）定理証明支援系を使ってプログラムの持つ性質の証明を体験 [担当：川端]==== | ====（中級）定理証明支援系を使ってプログラムの持つ性質の証明を体験 [担当：川端]==== | ||
2020年度研究室インターンシップ.1602732251.txt.gz · Last modified: 2025/02/21 18:55 (external edit)