t_uda
tips†
例会リマインダ用の豆知識とかを書き溜めておこう。
数学豆知識†
- (20110613) 今日の数学豆知識: ∃! や ∃1 は「一意的に存在する」という意味です∃!
- (20110620) 単に「&mimetex(x \geq 0 \Longrightarrow f(x) \geq 0);」と書いた場合、慣習的に「&mimetex(^{\forall}x \in \mathbb{R}. x \geq 0 \Longrightarrow f(x) \geq 0);」として扱われます。この省略は &mimetex(A \Rightarrow B); の形の命題で多いので、特に否定/対偶命題を扱う場合は注意が必要です。また自分で命題を書く場合、人に説明する場合はできるだけ∀と∃を省略しないように気をつけましょう。
- (20110711) 存在(∃)命題を含む論理式では、変数の依存関係が生じます。例えば &mimetex(\,^\forall \varepsilon>0.\,^\exists \delta>0;\,{\small \cdots}); という論理式の場合、δはεの取り方に依存して変わる数です(関数 &mimetex(\delta(\varepsilon));を略して単にδと書いているとも考えられます)。一般に、&mimetex(\,^\exists \delta; \,^\forall \varepsilon.\, P(\varepsilon, \delta) \Longrightarrow \,^\forall \varepsilon. \,^\exists \delta;\, P(\varepsilon, \delta)); は成り立ちますが、逆は成り立たないので、注意が必要です。
IT豆知識†
- (20110613) 時刻の 2011-06-13 18:30:00+09:00 という表記法は、国際標準化機構 ISO 8601
が定める日付・時刻の国際標準表記法に基づいています(+09:00は"日本時間")。日本ではスラッシュ記法が定着していますが 2/4
は4月2日と解釈される危険があります。しかし、2011-02-04 と書けば万国共通で通じます。また、記号やタイムゾーンを略して
20110613T093000Z
と表記することもできます(主にコンピュータ用の日付・時刻データフォーマット)。誤解のない正確な時刻の記述法として知って置いて損はないでしょう。
- (20110620) 「メタ」は抽象度の高い上位概念を表す言葉で、広義には「AについてのA」という意味で使われます。例えば「メタデータ」は「データについてのデータ」で、写真データなら撮影日時や写真のサイズなどが相当します。
- (20110622) 「コンパイル」は、あるプログラミング言語で書かれたソースコードをコンピュータが分かる(実行できる)形に翻訳することを言います。広義には LaTeX で書かれた \int_0^\infty のような数式を"組版"する作業もコンパイルと呼ばれます。
- (20110627) コンパイルが行うのは翻訳だけで、プログラムの実行までは行いません。翻訳と実行を同時に行うものはインタプリタと呼ばれます。裏で原稿の翻訳だけを行い提出する翻訳者がコンパイラなら、その場で翻訳して読み上げる同時通訳者はインタプリタという訳ですね。
京大豆知識†
- (20110704) 北部食堂の人気メニューである「炒めもの」系のメニュー("豚肉と~~~の炒め"みたいなの)は、単に「炒め!」と言えば注文が通ります。わざわざフルネームでコールしなくてもいいんですよ。
- 北部食堂は昼時はかなり混雑しますよね。そんな時早く食事を済ませてしまいたい…… という人に私がオススメする超高速メニューが「皿うどん」。注文から最速で 30 秒ぐらいで出てきます。
コメント†
Last-modified: 2015-05-21 (木) 18:31:40