[[t_uda]]
#contents
* tips [#k8e623be]
例会リマインダ用の豆知識とかを書き溜めておこう。
** 数学豆知識 [#w39e0a88]
- (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豆知識 [#s7fcb047]
- (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) コンパイルが行うのは翻訳だけで、プログラムの実行までは行いません。翻訳と実行を同時に行うものはインタプリタと呼ばれます。裏で原稿の翻訳だけを行い提出する翻訳者がコンパイラなら、その場で翻訳して読み上げる同時通訳者はインタプリタという訳ですね。
** 京大豆知識 [#vd66e9c6]
- (20110704) 北部食堂の人気メニューである「炒めもの」系のメニュー（"豚肉と～～～の炒め"みたいなの）は、単に「炒め！」と言えば注文が通ります。わざわざフルネームでコールしなくてもいいんですよ。
- 北部食堂は昼時はかなり混雑しますよね。そんな時早く食事を済ませてしまいたい…… という人に私がオススメする超高速メニューが「皿うどん」。注文から最速で 30 秒ぐらいで出てきます。
//- 新装して再開した中央食堂に、「お好み」コーナーができたそうです。つまり、中央食堂でも「炒め」が食べられる……！？要チェックです。
* コメント [#r11ad1ff]
- http://dailybooth.com/rinlorsna598/23630568 buy cheap generic adapalene differin canada adapalene geldifferin cream cost adapalene http://cogcilefa.blogg.se/2012/february/how-to-buy-adapalene-gaxia.html best prices on adapalenetaking acyclovir while nursing http://htacfoxma.over-blog.com/article-buy-online-prescription-acyclovir-without-qaelubo-99635026.html acyclovir online shopacyclovir animation http://www.hot.ee/blogliza537/tenraso.html acyclovir haashttp://dailybooth.com/rinlorsna598/23630618 aerovent 3 aerovent grain din dryerhttp://cogcilefa.blogg.se/2012/february/best-prices-on-brand-albendazole-lutej.html ivermectin and albendazole wuchereria bancrofti how long does it take albendazole to workacyclovir sales http://gravatar.com/alpade acyclovir suppression dosagehttp://www.hot.ee/blogliza537/coifecho.html dose of albendazole cheap albendazole no prescriptionhttp://cogcilefa.blogg.se/2012/february/wholesale-albendazole-osdedafex.html online order albendazole valbazen albendazole pfizer animal healthhttp://dailybooth.com/rinlorsna598/23630660 albenza drug albendazole albendazole side effects nausea vomitinghttp://megaswf.com/Users/retmaro56 albendazole tablets ip gardia albendazolewikipedia albendazole adenosine triphosphate http://www.hot.ee/blogliza537/ephlese.html albendazole cost drugstorehttp://cogcilefa.blogg.se/2012/february/to-buy-albendazole-quweemce.html albendazole dogs albendazole nowalbendazole horse http://htacfoxma.over-blog.com/article-buying-brand-albendazole-noamox-99635055.html albendazole dosage childbearing agebest price for albendazole http://dailybooth.com/rinlorsna598/23630709 price albendazolehttp://mistmeagar.blog.cz/1202/buy-adapalene-brand-caaba adapalene shop of adapalene gelhttp://www.hot.ee/blogliza537/nettwillfest280.html albendazole chewable tablets albendazole now no prescriptionhttp://cogcilefa.blogg.se/2012/february/cheap-no-prescription-albendazole-kywuyzi.html albendazole indication albendazole 200 mghttp://htacfoxma.over-blog.com/article-order-cheap-albendazole-without-prescription-jaakloci-99635079.html albendazole dose in medicine albendazole -- [[puonqe]] &new{2012-02-20 (月) 16:41:51};
//#comment
#comment
![[PukiWiki]](image/pukiwiki.png "[PukiWiki]")
