東急東横線沿線住民がそっぽを向いた「渋谷駅」。JR渋谷駅利用客激減が意味するコトは? エコノミックニュース 7月11日(金)8時24分配信 東日本旅客鉄道(JR東日本)が2013年度の乗車実績/駅利用客数を発表した。発表によると昨年3月に運用がスタートした東急東横線と東京メトロ副都心線の相互乗り入れ、直通運転がJR山手線に大きな影響を与えたことが分かった。 東急東横線と東京メトロ副都心線を結んで繋がる西武池袋線、東武東上線によって池袋・渋谷間の人の流れが大きく変わったのだ。つまり、東横線沿線住民が横浜方面から東京都心に出る際に、渋谷で下車してJR山手線に乗り換える人、あるいはJRから渋谷で東横線に乗り換える人が激減した。その数、年間の1日平均37万8539人で前年比91.9%。何と1日に3万人以上もJR渋谷駅利用者が減ったわけだ。つまり、渋谷ヒカリエの地下5階の真横にある東横線渋谷駅ホー
テレビやラジオ、あるいはネット動画で著名人らが話した内容を活字に書き起こし、インターネット上で紹介する人が増えている。著作権のルール上は、許諾を得ずに無断でこれらを利用することは認められないはず。だが、「ネットで書き起こされる流れはもう止められない」と指摘する声もある。当事者たちは、どう考えているのだろうか? ネット上では、ラジオの放送内容をベースにしたブログなどがいくつも見られる。中でも、本格的なラジオ番組の書き起こしサイト「ラジおこし」は、今年5月に発足。ニッポン放送やTBSラジオ、文化放送など、主要なラジオ局が放送する番組の一部を書き起こし、サイトで無料で閲覧できるようにしている。1日2本ほどの記事をアップしており、月間の閲覧数(ページビュー)は早くも15万ほどに上っているという。 また、今年3月に放送されたフジテレビ「笑っていいとも!」の最終回では、司会のタモリさんとビートたけしさ
レポートでカルノー図が必要になったので、LaTeXでカルノー図描けるようにした。 これを参考に、ちょっとだけ変えた。 こんなのが生成できる。便利だ。 LaTeXでカルノー図 具体的にはまず\documentclassを \documentclass[a4j,10pt,dvipdfmx]{jarticle} みたいな感じにする。dvipdfmxを入れないと他の画像類がうまく表示されないっぽい。次に \usepackage[dvipdfmx]{graphicx} \usepackage{tikz} \usetikzlibrary{matrix,calc} と上のソースの8行目くらいから73行目くらいの両方をプリアンブルに突っ込む。 本文に \begin{center} \begin{figure} \centering \begin{Karnaugh}{$\tt{x_1 x_0}$}{$\tt
各社の報道によると、警視庁は7月14日、3Dプリンタで女性器の造形を出力できるデータを頒布したとして、「ろくでなし子」の名前で活動している女性漫画家をわいせつ電磁的記録頒布容疑で逮捕した。漫画家は「わいせつ物とは思わない」と容疑を否認しているという。 漫画家は「デコまん」という「自分の体のまん中部分をモチーフにしたアート活動」を展開しており、「デコまん~アソコ整形漫画家が奇妙なアートを作った理由」「女子校あるある」などの著書がある。 昨年6月、クラウドファンディングサイト「CAMPFIRE」で「わたしの『まん中』を3Dスキャンして、世界初の夢のマンボートを作る計画に支援を!」という企画を実施。3Dスキャンした性器をかたどったボートを作成するための資金を募る内容で、3000円以上の支援者には3Dデータを配布するとしていた。報道によると、このデータ配布がわいせつ電磁的記録頒布に当たるとして逮捕
The key idea of functional reactive programming (FRP) is time-varying values, which the Elm language calls Signals. In a discrete FRP system like Elm, you can think of a Signal as a stream of individual events. Rather than using a callback function to swing at every event that shows up, we use higher-level operators to manipulate a whole stream of events at once. Signals fit modern "real-time" soc
This post follows up on OCaml for Haskellers from Edward Z. Yang (2010) and my own Haskell for OCaml programmers from earlier this year. Note The latest version of this document can be found online at https://dr-knz.net/rust-for-functional-programmers.html. Alternate formats: Source, PDF. Prologue Rust for C programmers != Rust for functional programmers. For experienced C programmers with little
ちょっとした宝石のような輝き?新橋「おか田」のミディアムレアな牛かつ。 ”かつ”と聞けばとんかつやチキンカツを想像される方も多いとは思いますが、新橋で働くサラリーマンやOLを中心に根強い人気を誇っているのが、揚げ時間わずか30秒のレア過ぎる牛かつが自慢の「牛かつ おか田」でございやす。 場所はJR新橋駅徒歩1分、当ブログでもおなじみとなりつつあるニュー新橋ビルの地下1階 新橋の顔と言っても過言ではないニュー新橋ビル。 以下の記事で紹介した「むさしや」「豚大学」もこのニュー新橋ビル構内にあり、今回の「牛かつ おか田」以外にも心くすぐる飲食店が数多いんです。 入館しエスカレーターで地下1階に向かいます。 憩いの地下街ってネーミングが何だかレトロっぽくていい感じ。 そして13時過ぎに「牛かつ おか田」前に到着したんですが… 平日約3時間のランチ営業のみ、行列のできる牛かつ専門店 ということで、ご
いわゆる「写り込み」等に係る規定の整備について(解説資料) (第30条の2,第30条の3,第30条の4及び第47条の9関係) 1.はじめに 平成24年6月20日に成立し,同年6月27日に公布された著作権法の一部を改正する法律(平成24年法律第43号)のうち,いわゆる「写り込み」等に係る規定については,国会での審議や参議院文教科学委員会における附帯決議において,「関係者からその具体的な内容が条文からだけでは分かりにくいとの意見等があることを踏まえ,これらの規定の対象となる具体的な行為の内容を明示するなど,その趣旨及び内容の周知を図ること」とされています。こうした決議等を踏まえ,各条の趣旨及び内容の概要についてご紹介いたします。 2.各条の解説 (1)付随対象著作物の利用(第30条の2) (付随対象著作物の利用) 第30条の2 写真の撮影,録音又は録画(以下この項において「写真の撮影等」とい
この記事はTheorem Prover Advent Calendar 14日目の記事です。 さて、登録した時点では「Agdaが多いなあCoqかなあ」などと暢気に言っていて、また一日目のnotogawaさんは「みんなCoqのことを書くに決まってる」っぽいことをAAで言っていたわけですが、箱を開けてみたら Σ(●△●)<Isabelleの人が一人で大半埋めてるじゃねえか!? というわけでここではCoqとAgdaのことを書きましょう。そうしましょう。 え、CoqとAgdaのことはnotogawaさんが書いてただろって? 細けえこたぁいいんだよ! ・CoqとAgda、どちらを使うべき? 好きな方を選べば良いと思うのですが、個人的な考えを挙げます。 1:性質+証明を書くならCoqがいいです。記号処理や数学の定式化などですね。この辺りはtacticを使うという戦略がかなり効きます。ただ、これに関して
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く