Immutable Data Structures in PHP | Musings of shadowhand
As someone who most often works with PHP I often find myself envious of the more advanced data structures that are present in a language like Python. As an experiment, I decided to see if it would be possible to bring some of those basic structures to PHP while also preserving immutability. The result of this experiment is Destrukt. Why immutable? Before we talk about the structures themselves, le
PSR-15
Yesterday, following a unanimous vote from its Core Committee, PHP-FIG formally accepted the proposed PSR-15, HTTP Server Handlers standard. This new standard defines interfaces for request handlers and middleware. These have enormous potential impact on the PHP ecosystem, as they provide standard mechanisms for writing HTTP-facing, server-side applications. Essentially, they pave the way for deve
静的コード解析の会#6で発表してきた - ::Eldesh a b = LEFT a | RIGHT b
静的コード解析の会#6でVeriFastによる停止性検査について発表してきました。(資料作って徹夜してしまった…) 前回も同じテーマでしたが私の理解も資料も十分でなかったため(α)としてました。 が、今回の発表では多重集合、整礎関係、実際の処理系で検査できるコードについての説明まで入れることが出来たので、これで一通りの内容を盛り込めたと思います(ただしシーケンシャルなプログラムに限る…)。 参照している論文はModular termination verificationです。 (多分)怪しげな記述や展開のよく分からないページがありますが、がんばって作ったので興味がある人は是非眺めてみて下さい。 個人的なおすすめはStatic Recursionパターンの検証方法のあたり(資料の末尾の方)です。 会場からは、 処理系が(もっと)がんばれ 発表の構成が悪い(直接そうは言われてないけど) とい
NHK受信料｢徴収督促チップ｣が全テレビに!?
【2018年3月5日13時00分追記】本記事初出時の記事サブタイトルは『全受信機にACASチップを入れるのは不当だ』でしたが、4K／8Kに対応していない受信機にはACASチップが使用されないことを明確にするため、『全対応機にACASチップを入れるのは不当だ』に修正しました。 2018年は放送・映像機器いずれの業界にとっても大きなイベントとして、12月1日に「4K/8K実用放送の開始」が待ち構えている。ところが実用放送開始まで1年を切った現在も解決していない問題がある。 昨年7月にも記事「CASは4K/8Kになると"悪質化"する」で伝えた「CAS（コンディショナルアクセスシステム）」の問題が解決していないからだ。 CASとは契約状況に応じて放送視聴の可否を制御する仕組みで、有料放送の契約者識別に使用する。NHKの受信料納付を求めるメッセージ表示も、この仕組みを用いて実現している。現在使われて
有名｢女子校制服｣､メルカリ大量出品の裏側 | 学校・受験 | 東洋経済オンライン | 経済ニュースの新基準
東京女学館高校の冬服上下に学校指定のセーターがついて25万円。フェリス女学院高校の冬服上下が19万8000円。共立女子中学・高校の夏服、冬服一式19点合計で20万円――。 メルカリに有名女子校の制服が大量に出品されている。価格はいずれも高額だ。スカートがつかない上着だけで数万円、スカーフだけ、ネクタイだけで数千円。中には襟やカフスがついていない夏のセーラー服の替え上着だけのものなど、誰がどう使うのかよくわからないものまで出品されている。 有名女子校の制服は、白百合学園ならフランシスコ、東京女学館ならメーフェアかマルス洋装店、桜蔭学園ならオリムピア、東洋英和女学院ならフランセ洋装店など、学校指定の洋装店などでオーダーする。 買えるのは当然在校生のみ。指定の洋装店のタグの写真をアップするなど、本物であることを強くアピールしている出品が目立つ。 学校によって出品点数に多大な差 出品者のコメントを
37歳､好きな｢模型作り｣で生きる男の稼ぎ方
コンテンツブロックが有効であることを検知しました。 このサイトを利用するには、コンテンツブロック機能（広告ブロック機能を持つ拡張機能等）を無効にしてページを再読み込みしてください。 ✕
国民健康保険が今年、市区町村から都道府県に移管される理由
1968年、千葉県生まれ、茨城県在住。フリーランスライターとして、新聞や週刊誌、医療専門誌などに、医療費や年金、家計費の節約など、身の回りのお金をテーマにした記事を寄稿。本コラムのほか、医薬経済社「医薬経済ONLINE」に連載中。著書に「読むだけで200万円節約できる！医療費と医療保険＆介護保険のトクする裏ワザ30」（ダイヤモンド社）など。ライター業のかたわら、庭で野菜作りも行う「半農半ライター」として、農的な暮らしを実践中。 知らないと損する！医療費の裏ワザと落とし穴 国民の健康を支えている公的医療保険（健康保険）。ふだんはそのありがたみを感じることは少ないが、病気やケガをしたとき、健康保険の保障内容を知らないと損することが多い。民間の医療保険に入る前に知っておきたい健康保険の優れた保障内容を紹介する。 バックナンバー一覧 今年4月、市区町村の国民健康保険が発足以来の大改革を行う。 これ
小池都政、税収1000億円減は総選挙で与党に売ったケンカの代償
inside 産業界・企業を取り巻くニュースの深層を掘り下げて独自取材。『週刊ダイヤモンド』の機動力を活かした的確でホットな情報が満載。 バックナンバー一覧 「国はこれまで（中略）地方間の財源の奪い合いに終始するような、税制の本旨をゆがめる改正を繰り返してきた」「都民生活を脅かす、そして東京という日本の活力を削ぐことになりかねない暴挙だ」 昨年12月、小池百合子・東京都知事は消費税の配分をめぐり、定例会見でそうまくし立てた。 現在、消費税率8％のうち6.3％は国に、残り1.7％は地方自治体に配分する仕組みになっている。その1.7％分を配分（清算）する際の基準について、見直しの口火を切ったのは財務省だ。そこに、菅義偉官房長官が「政府の考えだ」と加勢したことで流れは一気に加速。基準見直しで税収が1000億円も減る都は「断じて看過、見過ごすわけにはいかない」（小池氏）と猛反発したのだ。 しかし、
クローン猿誕生で真に危惧すべきは「人間複製」への応用ではない
30年のキャリアを誇る経営戦略コンサルタント。情報分析や業界分析に強く、未来予測やイノベーション分野が得意領域。一方で雑学にも強く、経済エンタテナーとして各方面に寄稿。経済クイズ本『戦略思考トレーニング』シリーズは20万部を超えるベストセラー。マスコミ関係者の地下クイズ集団『夜会』のメンバーとしても活躍。 今週もナナメに考えた 鈴木貴博 経済誌をにぎわすニュースや日常的な経済への疑問。そのときどきのトピックスについて経済の専門知識を縦軸に、社会常識を横軸において、ナナメにその意味を考えてみる。 バックナンバー一覧 中国の研究チームがクローン猿を誕生させることに成功した。「クローン人間」への応用など、倫理問題に関する議論が再燃しそうだが、危惧すべきはそこではない 提供：Chinese Academy of Sciences/China Daily/ロイター/アフロ クローン猿誕生の衝撃 「5
老化しない唯一の哺乳類、ハダカデバネズミ「発見」の意味
＜痛みを感じない、無酸素状態でも死なない、などのパワーで知られるハダカデバネズミが、人間の老化を食い止めるカギを握っていた＞ 年を取れば取るほど死に近づく──当然だ。ただし、それがハダカデバネズミなら話は別。奇妙な外見をした齧歯（げっし）動物であるハダカデバネズミが、ほかのあらゆる哺乳動物に共通する老化の法則に逆らっていることが、新たな研究で明らかになった。今回の発見は、人間の寿命を延ばし、老化を食い止めるのに役立つ可能性がある。 高齢になるにつれて死亡率が高くなることに関しては、「ゴムパーツ・メーカム（Gompertz-Makeham）法」と呼ばれる死亡率の法則がある。これは、成人以降、年齢が上がるにつれて死亡率も上昇していくことを示す数式だ。科学誌「サイエンス」の電子版によると、人間は30歳以降、8年毎に死亡率が2倍になるという。哺乳動物は、人間から馬、ネズミに至るまですべて、この法則
久々の日本でまだ続いていた車優先社会
＜日本では車が支配者で、苦しめられるのは歩行者。信号のない横断歩道で人が渡ろうとしても車が止まることはほとんどない＞ 最近、僕は日本を訪れて、かつて働いていた目黒のオフィスにちょっと顔を出した。目黒駅から続く権之助坂を歩いているとき、なんだか少し落ち着かず、違和感を覚えた。以前によく通っていた場所にしばらくぶりに訪れるときに、僕はこの感覚をよく味わう。 いつもなら、何が変わったのか正確に突き止められない（同じじゃない感じがするのは何となく、だから）。でも今回はうれしいことに、1つはっきりと気付くことができた。歩道が広くなったんだ！ 最初は気のせいかもしれないとも思ったけど、同僚から確認が取れた。それに加えて、オフィスに向かう途中の道路の上に架かっていた歩道橋がなくなり、代わりに横断歩道ができていた。 僕が（最後にここで働いてから10年以上になるのに）この歩道拡張と歩道橋撤去に気付いたのは、
QRコードの普及と「おサイフケータイ」の末路
レストランの支払いもテーブルにきたレシートのQRコードを読み込むだけ（広東省広州市） Bobby Yip- REUTERS ＜一時は世界的な展開を期待された「おサイフケータイ」が、スマホによる決済手段としてローテクのQRコードに凌駕されつつある。何が悪かったのか＞ NTTドコモは今年4月から新たなスマホ決済サービス「ｄ払い」を始めることを発表した。スマホの画面にバーコードやQRコードを表示し、それをお店で読み取ってもらうことで商品の購入代金を支払う仕組みだとのことである。 QRコードを中国のスマホ・マネーから逆輸入 これは以前このコラムで紹介した中国のスマホ・マネー、すなわち「支付宝」（アリペイ）と「微信支付」（ウィーチャットペイ）の仕組みと同じである。日本人は今まで「日本が先進国、中国は後進国」という序列を当然視してきたが、ことスマホ・マネーに関しては中国で成功した技術をドコモが取り入れ
QRコードの普及と「おサイフケータイ」の末路
レストランの支払いもテーブルにきたレシートのQRコードを読み込むだけ（広東省広州市） Bobby Yip- REUTERS ＜一時は世界的な展開を期待された「おサイフケータイ」が、スマホによる決済手段としてローテクのQRコードに凌駕されつつある。何が悪かったのか＞ NTTドコモは今年4月から新たなスマホ決済サービス「ｄ払い」を始めることを発表した。スマホの画面にバーコードやQRコードを表示し、それをお店で読み取ってもらうことで商品の購入代金を支払う仕組みだとのことである。 QRコードを中国のスマホ・マネーから逆輸入 これは以前このコラムで紹介した中国のスマホ・マネー、すなわち「支付宝」（アリペイ）と「微信支付」（ウィーチャットペイ）の仕組みと同じである。日本人は今まで「日本が先進国、中国は後進国」という序列を当然視してきたが、ことスマホ・マネーに関しては中国で成功した技術をドコモが取り入れ
住民が尊敬していた中国の名僧、なんとその正体は？ サイバー監視で『水滸伝』的物語が成立しなくなった中国 | JBpress (ジェイビープレス)
中国の田舎寺に、地元の住民から慕われ尊敬される1人の僧侶がいた。その意外な正体とは？（写真はイメージ） 中国四大奇書『水滸伝』に登場する花和尚・魯智深（ろちしん）をご存知だろうか？ 俗名を魯達といった彼は、貧民をいじめる悪徳長者・鎮関西を義憤のあまり殴り殺して逃亡。官憲をあざむくために出家して法名魯智深を名乗り、やがて梁山泊に入って六十二斤の鉄禅杖を振るい獅子奮迅の大活躍をするようになった――。という話である。魯智深のキャラクターは、前近代の中国で寺院が前科者の経歴ロンダリングの場になっていた事実を反映したものらしい。 そして、実はこういう話は北宋時代から約1000年を経た現代でも相変わらず存在する。今年（2018年）1月、広東省広州市番禺区の公安局が長年にわたり追い続けていたニセ和尚を、江蘇省宿遷市泗陽県まで出向いて逮捕したのだ。彼の名は力天佑といい、16年前に番禺区内で強盗殺人を犯し逃
GitHub - automerge/automerge: A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.
Automerge is a library which provides fast implementations of several different CRDTs, a compact compression format for these CRDTs, and a sync protocol for efficiently transmitting those changes over the network. The objective of the project is to support local-first applications in the same way that relational databases support server applications - by providing mechanisms for persistence which
TechCrunch | Startup and Technology News
Tech sovereignty has become a looming priority for a number of nations these days, and now, with the demand for compute power at its highest level yet thanks to uptake… It’s not the sexiest of subject matters, but someone needs to talk about it: The CFO tech stack — software used by the chief financial officers of the world — is ripe for disruption. That’s according to Jonathan Sanders, CEO and co
Webamp • Winamp in your browser
Your browser does not support the features we need. Try using the most recent version of Chrome, Firefox, Safari or Edge.
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
15人のニートが「超限界集落」の廃校に集う理由
中国人クレーマーはなぜ集団で国歌を歌い出すのか 空港での斉唱に中国国内では冷ややかな反応 | JBpress (ジェイビープレス)