根府川駅 -歴史 Wikipedia
1896年（明治29年）から1922年（大正11年）までは、人車鉄道・軽便鉄道の豆相人車鉄道（のちの熱海鉄道）も存在していた。同線の「根府川駅」は、当駅よりも高台の位置に設けられていた。 1923年（大正12年）9月1日に関東大震災により地すべり（土石流ともいわれる）が発生し、当駅に進入中の真鶴行き下り列車（8両編成、乗客約150名）が客車2両を残して駅舎、ホームもろとも海中に没する。列車に乗車していた約110名とホームに居た二十数名の計約130名が死亡した。駅周辺の住民も多数死傷した（根府川駅列車転落事故も参照のこと）。駅構内に残ったのは車止め一つだけだった[3][4]。 駅は翌年再建されたが、沖合の海底には当時のプラットホームが横たわっている。ホーム跡は漁礁のようになり、スキューバダイビングの潜水ポイントにもなっている。なお、ホーム跡にある駅名標は後に付けられたものである。 ホームとと
blog of mobile » Blog Archive » 技適から推測する次期iPhone、2モデル用意でWiMAX 2+/AXGPやAPT700の対応は確実か
技適から推測する次期iPhone、2モデル用意でWiMAX 2+/AXGPやAPT700の対応は確実か Appleが開発中とされる次期iPhone、ディスプレイサイズの大型化や2種類のモデルが存在するなど様々な噂が絶えない。 発表前の情報は信憑性が怪しいものが多いが、その中で認証機関による公示情報は信憑性が高い数少ない情報である。 そこで、今回は認証情報から次期iPhoneを推測してみた。 認証情報といっても基本的にAppleは発表前に認証機関を通さない。 しかし、技適の情報を眺めていると、Appleの代理で認証を申請している思われる企業が見つかった。 それはUpside合同会社で、これまでにA21, C13, C17, A31, A28, C29, C9, A41, A36を通過させている。 Upside合同会社はどうやらLTE対応端末から認証を申請しているようなので、AppleのLTE
Tagless-Final Style
The so-called ``tagless-final'' style is a method of embedding domain-specific languages (DSLs) in a typed functional host language such as Haskell, OCaml, Scala or Coq. It is an alternative to the more familiar embedding as a (generalized) algebraic data type. It is centered around interpreters: Evaluator, compiler, partial evaluator, pretty-printer, analyzer, multi-pass optimizer are all interpr
Haskellの単体テスト最前線 kazu-yamamoto/unit-test-example · GitHub
#Haskellの単体テスト最前線 [To English] これはHaskell Advent Calendar 2012の5日目の記事です。 Haskellで作成したパッケージに対して、単体テストを書くための最新情報をお届けします。以下の記事では、Haskell Platform 2014.2.0.0 以降を使うことを前提とします。 ##要約 要点は4つです。 利用者に見せたい振る舞いは、doctest で書く 利用者に見せたくない振る舞いは、hspec で書く テストを自動化するフレームワークとしては Cabal を使う doctest でも hspec でも、純粋なコードに対しては、できるだけ QuickCheck などの性質テストを書く この記事で一番伝えたいのは、3) です。例題としては、Base64 という符号化を取り上げます。Base64 は知っていると仮定して話を進めます
Paul Chiusano: A very simple technique for making DSLs extensible
[ fp ] The heavyweight techniques for ‘solving’ the Expression Problem (Data types a la Carte (PDF) and some of the syntactically lighter weight extensible effect variants that popped up recently) are sometimes way overkill. Using the usual tools of abstraction, we can often make our DSLs extensible without any fuss. For illustration of this very simple technique (I hesitate to even call it that),
Typed Tagless-Final Interpretations: Introductory Course
The first course on typed tagless-final embeddings of domain-specific languages has been presented at the Spring School on Generic and Indexed Programming (SSGIP) <http://www.comlab.ox.ac.uk/projects/gip/school.html> at Wadham College, Oxford, UK on 22nd to 26th March 2010. This page collects the notes for the course in the form of the extensively commented Haskell and OCaml code. Lecture Notes In
Higher-order abstract syntax - Wikipedia
This article includes a list of general references, but it lacks sufficient corresponding inline citations. Please help to improve this article by introducing more precise citations. (August 2010) (Learn how and when to remove this message) In computer science, higher-order abstract syntax (abbreviated HOAS) is a technique for the representation of abstract syntax trees for languages with variable
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GObject-2.0
Global Constraint Catalog
ごりゅご.com
Typed Tagless-Final Linear Lambda Calculus - School of Haskell | School of Haskell