論文｜snmalloc: A Message Passing Allocator (ISMM 2019)
「snmalloc: A Message Passing Allocator」という論文を読んだのでその紹介です。本論文は ISMM (International Symposium on Memory Management) 2019 に採択されており、論文とソースコードは GitHub (microsoft/snmalloc) で公開されています。リポジトリ名から分かる通り、著者の多くが Microsoft Research に所属しています。 免責 読み間違えている可能性があります。正確な情報が欲しい方は必ず論文を読んでください。誤りの指摘や補足、議論などは GitHub Issue や Twitter へお願いします。 更新履歴 2019/07/08 bump pointer と free list の next entry pointer を判定する方法について追記 2019/0
News Up 霞が関の嫌われ者 “質問主意書”って何？ | NHKニュース
官僚の人たちが、私たち「霞が関のリアル」取材班に寄せてくれた意見のうち、ずっと気になっていたのが“質問主意書”というものです。なんと言ってもその評判が芳しくないからです。どんなものなのか、調べてみました。 （霞が関のリアル取材班 記者 中村雄一郎）
輸出規制強化で｢韓国半導体｣は大打撃なのか
日本政府は7月4日、韓国向けの半導体や液晶材料について輸出規制に踏み切った。 対象となるフッ化ポリイミド、レジスト、フッ化水素の3品目を韓国に輸出する際に、契約ごとに輸出許可申請が必要になる。これまでは、一度申請すれば3年間は申請なしで輸出することができる包括許可方式だった。 対韓輸出規制によって韓国経済は窮地に？ 「日本からの輸出停止で、韓国の基幹産業である半導体産業は窮地に追いやられる」 輸出規制の影響について、こんな見方が広がっている。日本政府が輸出規制に動いたのは、戦時中に朝鮮半島から動員された元徴用工への補償問題で韓国側の対応が十分ではなく、日韓両政府の信頼関係が「著しく損なわれた」（世耕弘成・経済産業相）ことが原因だった。 7月4日から規制は発効したが、経済産業省によると5日までに大きな混乱は起きていない。港からの出荷ごとではなく契約ごとの申請のため、多くの企業が「まだ最初の手
安倍首相、韓国が貿易管理ちゃんと守れないと思うのは当然－党首討論
安倍晋三首相（自民党総裁）は７日、フジテレビの番組での党首討論で、韓国向けの半導体材料などの輸出管理厳格化は徴用工問題の「対抗措置ではない」としながらも、「国と国との約束が守れない中において、こうした貿易管理においてはちゃんと守れないだろうと思うのは当然ではないか」と語った。 司会者が今回の措置に踏み切った理由について、北朝鮮などに大量破壊兵器の製造にも転用されるような物質が流れたことが問題だったのかと聞いたが、安倍首相は「この場で個別のことについて申し上げるのは差し控えたい」と説明を避けた。その上で、「ちゃんとした輸出管理をしていますよということをしっかり示していただかなければ、われわれは出せない」と述べた。 一方、立憲民主党の枝野幸男代表は「輸出管理の観点でこうした措置があり得るということはよく分かる」としながらも、「もう少し正当な対応なんだということについての説明を政府としてしないと
JASRACの「潜入調査」は合法か？（栗原潔） - エキスパート - Yahoo!ニュース
「JASRAC、音楽教室に"潜入"２年 主婦を名乗り」というニュースがありました。 音楽教室での演奏から著作権料を徴収しようとしている日本音楽著作権協会（JASRAC）が、職員を約２年間にわたって「生徒」として教室に通わせ、潜入調査していたことが分かった。９日には、両者の間で続く訴訟にこの職員が証人として出廷する予定だ。 ということです。 少なくとも心情的には「潜入調査」には反感を覚える人が多いのは当然とも言え、匿名掲示板等で多くの批判の声が聞かれます。一般に、JASRAC調査員が客を装って現地調査をすることは珍しくはなく、裁判においてJASRAC管理曲は利用していないとの相手の主張への反証として、客として入店したJASRAC調査員による調査結果が使用されることはよくあります。掲示板で「囮捜査なので違法では」などと書いている人がいますが、囮捜査は刑事の話なので今回とは関係ありません。 そも
宍倉さん、ぶっちゃけDeNAと組んでどうだった？──『メギド７２』開発うら話 - GeNOM（ゲノム） | GeNOM（ゲノム）- DeNAゲーム開発の現場から
『メギド７２』宮前プロデューサーと 宍倉ディレクターにインタビュー 2017年12月にリリースした、メディア・ビジョンさまとDeNAの共同開発タイトル『メギド７２』。今だからこそ話せる“ 開発うら話 ”をはじめ、3年半の開発期間を共にしたからこそ見える“ ゲーム開発会社としてのDeNA ”についてインタビューしました！ 宮前 公彦 ｜ Kimihiko Miyamae 『メギド７２』プロデューサー。2014年にDeNA入社。デザイナーとしてキャリアをスタート。コンシューマーからモバイルゲームの開発・運営と幅広くタイトルに関わる。 宍倉 紀春 ｜ Kiharu Shishikura 『メギド７２』ディレクター。プログラマーとして、メディア・ビジョンに入社。 DeNAとの共同開発1作目『マジック＆カノン』などを手掛ける。 突如現れた“ガチンコなプロデューサー” ーーまずは、両社の役割についてお
AtCoder：競技プログラミングコンテストを開催する国内最大のサイト
プログラミングに詳しい方へ ここから先はプログラミング未経験者の方は読む必要がありません APG4bは多くの一般的な教材とはいくつか違う点があるため、プログラミングに慣れた人がこの教材を見ると色々思うところがあるかもしれません。 ここではこの教材がどのようなコンセプトで書かれているかを説明した後、APG4bがなぜ一般的でないことをしているのかを説明します。 APG4bのコンセプト プログラムとは何のためにあるのでしょうか？ 「便利なアプリを作るため」「ゲームをつくるため」「『人工知能』をつくるため」など、色々あると思います。 これらの具体例は決して間違いではありませんが、プログラミングにはより根源的な用途があります。 それは「計算」です。 コンピュータが開発された当初、その用途は高度な電卓でした。 それから月日が流れ、様々な用途に応用されるようになっても、最終的にコンピュータが行っているこ
W - 2.06.計算量
前のページ | 次のページ キーポイント プログラムを実行するときには処理内容に応じた実行時間がかかる コンピュータの記憶領域(メモリ)は有限であり、プログラムで変数を使用した分だけメモリを消費する プログラムの実行時間・メモリ使用量が入力に応じてどのように変化するかを見積もったものを、それぞれ時間計算量・空間計算量という 計算量の表記にはオーダー記法を用いることが多い アルゴリズム ある処理を行うプログラムを作成するときに、どのような計算を行っていくかという計算手順のことをアルゴリズムといいます。 例えば、1から100までの総和を計算するプログラムを考えます。 1+2+3+...+99+100と順番に足していくというのは1つのアルゴリズムです。これをアルゴリズムAとします。 一方、\frac{100 \cdot (1 + 100)}{2}という式を用いて計算するというのもアルゴリズムです
ギリシャ4年ぶり政権交代へ 最大野党が単独過半数 - 日本経済新聞
【アテネ=木寺もも子】債務危機後の財政再建に取り組むギリシャ総選挙（一院制、定数300）が7日、投開票され、最大野党で中道右派の新民主主義党（ND）の議席が単独過半数となる158議席を獲得した。党首のミツォタキス氏（51）が新首相に就任する見通しだ。2015年に「反緊縮財政」を掲げて登場し、欧州連合（EU）との対立で世界の金融市場を揺さぶったチプラス首相は退陣し、約4年ぶりに政権交代する。「ギ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
国民、アキバに立つ！玉木代表、リーダー自らガンダムのコスプレ
子供部屋にスーツ…特殊詐欺に加担かも 親が見抜いて - 日本経済新聞
若くて持ち家、借金膨らむ 20～30代の残高最高 「賃貸より得」でも消費は節約 - 日本経済新聞
