Foundations and Exercises
Global Center for Science and Engineering, Waseda University
git clone https://github.com/waseda-num-analysis-2026/materials
cd materials
git pull
💡 Not sure how? Just ask your AI — it can run these commands for you.
030/:
3rd-handout.qmd |
📘 main material — full content of this lecture |
3rd-handout.html |
rendered handout — viewable in browser |
3rd.qmd |
slides (this file) — exercises & instructions only |
3rd.html |
rendered slides |
Schedule update (May 3)
All Session 3 assignment deadlines have been extended by one week: May 14 (Thu), 23:59 JST.
This was originally May 7. Also, the pair work for Exercise 3.2 will be held in Session 5 or later, not in the next class.
Repository: same as Ex 3.1 | Submit: 3rd-handout.qmd (your edited copy) | Deadline: May 14 (Thu), 23:59 (extended from May 7)
While studying 3rd-handout.qmd, insert at least 3 Q&A blocks of your own — questions you actually had while reading, answered with the help of GitHub Copilot (or another AI) following the protocol in AI_TUTOR.md.
How to submit
materials/030/3rd-handout.qmd into the root of your Ex 3 repositoryAI_TUTOR.md⌘L / Ctrl+L, then ask the AI to add a Q&A blockgit push💡 The Q&A block format and an English example are at the top of 3rd-handout.qmd.
Repository: Ex 3 — GitHub Classroom link | Edit: ex3-1.qmd | Deadline: May 14 (Thu), 23:59 (extended from May 7)
For two toy floating-point systems, find normalizations and the smallest / largest positive normalized numbers.
Reminder. Normalization means writing a number with the leading digit \(d_0 \neq 0\) (in binary, that means \(d_0 = 1\)). See the handout § Floating-Point Numbers in Computers.
float64Repository: same as Ex 3.1 | Edit: ex3-2.qmd | Deadline: May 14 (Thu), 23:59 (extended from May 7)
🎥 Video still required. Record a 5-minute video explaining your answer. The pair work using this video is rescheduled to Session 5 or later.
For IEEE 754 binary64 (float64), compute and explain
\[ 1 + \eta - 1 \quad\text{for}\quad \eta = 2^{-52},\ 2^{-53},\ 2^{-54}. \]
You should explain why the answer is what it is in each case — not just print the number.
Hint. Recall the handout § Machine Epsilon. What is the gap between \(1\) and the next representable number? What does round-to-nearest do when \(1 + \eta\) is closer to \(1\) than to \(1 + \varepsilon\)?
Repository: same as Ex 3.1 | Edit: ex3-3.qmd | Deadline: May 14 (Thu), 23:59 (extended from May 7)
Among the positive integers representable in float64, find the smallest pair of consecutive integers whose float64 representations differ by 2 instead of 1.
⚠️ The answer must be derived theoretically from the definition of float64. Code may be used as a verification tool only.
Hint. When does the spacing between consecutive float64 values exceed \(1\)? Express the gap in terms of \(p\) and \(e\).
Accept the Ex 3 GitHub Classroom link once — one repository for all four parts
ex3-1.qmd, ex3-2.qmd, ex3-3.qmd + your copy of 3rd-handout.qmd for Ex 3.0 (all .qmd)git push — the last commit before the deadline is gradedRecord a 5-minute explanatory video for Ex 3.2 and paste its URL into ex3-2.qmd
Session 5 or later: pair work for Ex 3.2