論理と計算のしくみ 5.3 型付きλ計算 (前半)
1. 輪講 — 論理と計算のしくみ 5.3 型付きλ計算 (前半) 伊奈 林太郎 (id:tarao) 京都大学 大学院情報学研究科 2012-01-26 伊奈 林太郎 (id:tarao) 輪講 — 論理と計算のしくみ 5.3 型付き λ 計算 (前半) 1 2. 参考文献 萩谷, 西崎. 論理と計算のしくみ. 岩波書店, 2007. J. C. Mitchell. Foundations for Programming Languages. MIT Press, 1996. B. C. Pierce. Types and Programming Languages. MIT Press, 2002. 伊奈 林太郎 (id:tarao) 輪講 — 論理と計算のしくみ 5.3 型付き λ 計算 (前半) 2
政府確保の宿泊施設、いまだ使われず…周知不足 : 社会 : 読売新聞（YOMIURI ONLINE）
政府が熊本地震の被災者向けに無料の宿泊施設として確保したホテルや旅館、フェリーが、いまだ利用されていない状況が続いている。 熊本県内では、相次ぐ余震を恐れて車中泊をする被災者が多く、エコノミークラス症候群で病院に搬送される人も増えており、関係者の対応が急がれる。 熊本県内の旅館やホテルでは、高齢者や障害者などを中心に約１５００人の受け入れが可能だ。希望者は市町村に連絡すれば、県がホテルなどを割り振る。介助者も一緒に宿泊できる。 だが、被災者への周知が遅れているほか、窓口となる市町村が制度をよく理解していないこともあり、まだ利用者はいないという。 フェリーについては、国土交通省が、大型フェリーなど計４隻のフェリーを活用し、約２０００人の被災者を受け入れると表明した。 すでに計約１０００人が乗れる小型フェリー２隻は熊本港に停泊している。被災者がその場で希望すれば、座席などで仮眠がとれる。 大広
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
形式的方法概観
１６日未明の「本震」は震度７…熊本地震(読売新聞) - goo ニュース
- goo ニュース
