タグ

2020年3月29日のブックマーク (4件)

  • 東京の地下鉄の歴史 ~路線図と年表で時代をさかのぼる~

    1925~1929年 概要 1927年、東京で初めて(日で初めて)の地下鉄が、上野~浅草間に開業します。現在の銀座線の一部です。路線図では、現在と同じオレンジ色で描きましたが、当時はラインカラーなど決まっていなかったでしょうし、名称も「銀座線」ではありませんでした。当然、東京メトロや営団地下鉄もまだ存在せず、「東京地下鉄道」という会社が運営していました。 東北線の上野~神田間が開通し、東京までの乗り入れを開始します。これによって、それまで6の字運転(「の」の字運転)だった山手線が環状運転を開始し、現在と同じ運転形態となります。 この頃、現在の東急東横線、東急大井町線、東急池上線、小田急小田原線、西武新宿線の前身となる路線が開業しました。 1925/03/11 京浜電気鉄道 北品川(旧:品川)~高輪(現:品川駅付近、廃止) 延伸開業。現在の京急線の一部。 1925/11/01 東北

    東京の地下鉄の歴史 ~路線図と年表で時代をさかのぼる~
  • 多相関数を第一級で取り扱う

    今回は,GHC拡張の一つ RankNTypes の紹介をしようと思う.もうちょっとちゃんとまとめたのをいつか Haskell-jp かどっかに投稿したいと思ってるんだが,時間が (さっさと書け). さて, Haskell のプログラミングにおいて多相関数はかなり重要な役割を持つ.しかしながら,標準の範囲では多相関数自体を第一級の値として扱うことはできない.私たちに許されるのは,多相関数を定義することだけだ.まあ,それだけでもかなり有用なんだけど,多相関数を第一級で扱えると,色々プログラミングの幅が広がる.今回は,多相関数を第一級として扱うというのはどういうことか,そしてそれをするにはどうすればいいか,そうすることで何がうれしいのかを簡単に触れられたらと思っている. 多相関数を第一級で扱うとはどういうことか (パラメトリック)多相関数 ((parametric) polymorphic fu

    多相関数を第一級で取り扱う
    xef
    xef 2020/03/29
  • dte

    Building To build from source, first ensure the following dependencies are installed: GCC 4.8+ or Clang GNU Make 4.0+ iconv library (usually provided by libc on Linux/FreeBSD) ...then download and unpack the latest release tarball: curl -LO https://craigbarnes.gitlab.io/dist/dte/dte-1.11.1.tar.gz tar -xzf dte-1.11.1.tar.gz cd dte-1.11.1 ...and compile and install: make && sudo make install If you'

  • sh の組み込みコマンド read は遅い

    2020.3.29 00:11 バッファサイズと shcat の来の意図に関して文末に追記 まとまった文章を書く機会が減ってしまって、これではいかんと久しぶりに更新。 大学院に入った 19 年前。担当していた大学院生から研究室の計算機環境の管理を引き継いだ。動機は単純で、Unix 系 OS の管理に興味があったからだった。研究室では過去の管理者が構築したメールサーバが引き継がれていて、詳しいひとはすでにいなくなっていた。Unix 系 OS はデスクトップ用途で使われておらず、学生はほぼ全員、当時現役だった管理者が Windows NT で構築したファイルサーバと数台の Windows クライアントマシンを使っていた。 Windows の環境に問題があるわけではなかったが、クライアントマシンは台数が少なく、取り合いになっていた。ネットワークも共有フォルダがあるだけで、認証やホームディレクト