![【やじうまPC Watch】 小文字の"g"を正しく書ける米国人は、数十人に1人という研究結果](https://cdn-ak-scissors.b.st-hatena.com/image/square/22829f348ca129cf57d5168f687550bdb2e897d2/height=288;version=1;width=512/https%3A%2F%2Fpc.watch.impress.co.jp%2Fimg%2Fpcw%2Flist%2F1115%2F739%2F01_o.jpg)
Sequent Calculus as a Compiler Intermediate Language Paul Downen Luke Maurer Zena M. Ariola University of Oregon, USA {pdownen,maurerl,ariola}@cs.uoregon.edu Simon Peyton Jones Microsoft Research Cambridge, UK simonpj@microsoft.com Abstract The λ-calculus is popular as an intermediate language for practical compilers. But in the world of logic it has a lesser-known twin, born at the same time, cal
売れ筋商品 LAVIE Smart N15 SN303 ホワイト/Core i3-1115G4/8GB/SSD256GB/W...
hidden file 今となってはLinuxでのvimやtmuxのコンフィグファイルなど、基本的にユーザーに見せる必要のないファイルを 隠しファイルとしてホームディレクトリに置くという作法がよくつかわれます。 .tmuxや.vimrc、.sshなど枚挙にいとまがありませんが その起源はプログラマが作り出したバグとコピペとこじつけの3連コンボクリティカルによるものでした。 成り立ち lsコマンドといえば定番のファイル一覧表示コマンドですが オプション無しではUnixの実装上存在するカレントディレクトリ、親ディレクトリを指す、.と..を表示しません。 特殊で常在するディレクトリなので当然ですがその実装はちょっとだけ、短かったのです。 実際はアセンブラですが //実際にできたもの if (name[0] == '.') continue; //本当に必要だったもの if (strcmp(nam
JST(理事長 濵口 道成)は、産学共同実用化開発事業(NexTEP)における株式会社ExaScalerの課題「磁界結合DRAM・インタフェースを用いた大規模省電力スーパーコンピュータ」について、平成30年3月29日に開発中止を決定し、開発費の返還を求めておりましたが、4月6日付けでこれを全額(約52億円)受領しましたので、お知らせいたします。
「カレーパンサンド」なる惣菜パンが発見され、「クレイジー」「何を血迷ってこいつをはさんだ」とTwitterをざわつかせています。そうか、「カレー」そのものではなく、「カレーパン」を食パンではさんでしまったのか……。 「食パンにカレーパンをはさんじゃいました」だと……!? 開けてみると、中身は本当にカレーパン。「カレーコロッケサンド」だと思えば普通にアリなのかも パッケージの絵だけ見ると、揚げ物が半切りの食パンにはさまっているように見えますが、その正体はカレーパン。既に惣菜パンとして成立しているものを、さらに食パンではさむ発想がすごい。チャーハンをおかずにゴハンを食べるような破壊力を生み出したフジパンに、開発経緯などを聞いてみました。 カレーパンサンドは、4月1日から東北6県限定で販売(オープン価格、参考価格は税込108円)。取り扱いがあるのはスーパーや量販店で、コンビニには入っていないとの
Facebook利用者のさまざまな情報が外部に流出し選挙対策などに利用されていた問題について、Appleのティム・クックCEOが「プライバシーの侵害」だと語ったという。そして、もしクック氏がFacebookのCEOだったら何をするかとの問いに「今のような事態には至らないだろう」とし、ユーザー情報を取り締まるより厳しい規制が必要だと答えたそうだ。これに対しFacebookのマーク・ザッカーバーグCEOが強く反発しているという(BBC、Bloomberg)。 Appleもユーザーから多くの情報を収集しているが、クックCEOは顧客を収益化することは選ばないという旨の発言をしている。これに対しザッカーバーグ氏はサービスの利用に対価を支払えない人がたくさんいるとして、広告収入に頼るモデルを正当化している。
2018年3月23日に起きたテスラ・モデルXの事故では、高速道路を走行中の車両が道路を隔てる中央分離帯に衝突して運転席に乗っていたドライバーが死亡しました。事故の当時は自動運転支援機能「オートパイロット」がオンになっていたことが分かっているのですが、この事故が起きた状況は2017年9月に起きていた事故とよく似た状況であったことがわかっており、特定の状況下で事故が発生しやすくなる可能性が指摘されています。 ONLY ON ABC7NEWS.COM: Tesla crash in September showed similarities to fatal Mountain View accident | abc7news.com http://abc7news.com/automotive/i-team-exclusive-tesla-crash-in-september-showed-si
コインチェックは1月下旬、外部からの不正アクセスを受け、仮想通貨「NEM」約580億円相当(当時レート)が流出。その後、金融庁から2度にわたる業務改善命令を受けており、2度目の改善命令では「経営体制の抜本的な見直し」が求められていた。 一方、マネックスグループは、1月に「マネックス仮想通貨研究所」を設立するなど、仮想通貨交換業へ参入する方針を示していた。 新体制の下、マネックスグループがオンライン証券業界でこれまで培ってきた経営管理やシステムリスク管理などのノウハウを生かし、「顧客保護を徹底した経営戦略の見直しなどを進める」(コインチェック)としている。 関連記事 流出NEM「完売」 資金洗浄完了か 販売サイトに金正恩氏の写真と「Thank you!!!」 「Coincheck」から流出したNEMの全額が、3月22日までに他の仮想通貨に交換されたようだ。犯人が開設したとみられるNEM販売サ
宮崎駿監督(77)と並ぶ日本アニメーション界の巨匠で、ジブリ映画「火垂るの墓」「平成狸合戦ぽんぽこ」などを監督した高畑勲氏が5日、東京都内の病院で死去した。82歳だった。 関係者によると、高畑監督は昨年の夏頃に体調を崩し、その後入退院を繰り返していた。心臓が悪かったという情報もある。 昨年11月に高畑監督に会った別の関係者によると、以前よりも痩せていて、歩く時は体を支えられていたという。この関係者は「子供のような好奇心でキラキラした表情が印象的な人だが、元気がなく、全く違った人みたいだった」と話した。通夜、葬儀は近日中に営まれる。 高畑監督は東大卒業後の1959年に入社した東映動画(現・東映アニメーション)で宮崎監督と出会い、アニメ制作会社をともに移籍しながら、70年代にはテレビアニメ「アルプスの少女ハイジ」「赤毛のアン」などを生み出した。85年に宮崎監督らとスタジオジブリを設立。「火垂る
巨額の仮想通貨が流出したコインチェック(東京・渋谷)は5日、マネックスグループからの出資を受け入れる方針を固めた。マネックスG傘下で経営改善を進める。現在の経営陣は不正流出の責任をとって退任する。新社長にはマネックスGの勝屋敏彦最高執行責任者(COO)が就き、信用回復を目指す。【関連記事】マネックスG、コインチェックを完全子会社化6日にも発表する。出資の方法については詳細を詰めている。出資金額
政局をめぐる最近の新聞記事の中で、ある政党の幹部が怒って「声を荒(あら)らげた」という表現がありました。放送では「荒(あら)げる」という言い方も耳にします。どちらの言い方でもよいのでしょうか。 本来の言い方は「あららげる」ですが、放送では「あらげる」も使っています。 「声を荒立てる」「度をこして激しい声で言う」ことをさすことばとしては、「声をあららげる」が伝統的な言い方です。新聞社などの多くは「あららげる」のみを認め、「あらげる」は俗な言い方としています。しかし、声に出して言う場合、「あららげる」より「あらげる」のほうが言いやすいことや、「荒らげる」と書いてあるのを「あらげる」と読むという思い違いもあってか、今では「声をあらげる」と言う人のほうが多くなっています。NHKが平成3年(1991年)に行った全国調査でも、「あららげる」と言うと答えた人が19%にとどまったのに対して、「あらげる」と
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く