タグ

2019年7月12日のブックマーク (5件)

  • これが現代の科学力……! 「スーパーマリオメーカーはチューリング完全」はなぜたった1年半で証明されたのか

    「マリオメーカー学会」というものをご存じでしょうか。自作ステージを作って遊べるゲーム「スーパーマリオメーカー」に斜め上過ぎる楽しみ方を見いだした“研究者”の集まりで、これまでには「クリアに20万年ほどかかるステージ」「ギミックを巧みに活用した計算機」などが開発されています。 話がぶっ飛んでいて何が何だか分からないかもしれませんが、きっとそれだけ研究が進んでいるということでしょう。今回は、5分間で数学を語るイベント「日曜数学会」から、同学会のハイレベルさが伝わる発表「スーパーマリオメーカーはチューリング完全」を書き起こしました。 拡大画像でスライドを見る スーパーマリオメーカーはチューリング完全 イベント:2019年6月29日開催の第15回「日曜数学会」(Twitter:@nichimath) 発表者:yos1upさん(Twitter:@yos1up) 発売から約2週間で、計算機になったスー

    これが現代の科学力……! 「スーパーマリオメーカーはチューリング完全」はなぜたった1年半で証明されたのか
    PEEE
    PEEE 2019/07/12
  • パスワード管理ソフトはBitwardenが非常にオススメ!1PasswordからBitwardenへ乗り換えた話。 | ザクピカ

    パスワード管理ソフトはBitwardenが非常にオススメ!1PasswordからBitwardenへ乗り換えた話。 | ザクピカ
    PEEE
    PEEE 2019/07/12
  • 新卒で入社したNEC通信システム株式会社を退職しました - 意識低い系会社員

    こんにちは。 タイトルの通り、NEC通信システム株式会社を退職しました。 このエントリはいわゆる退職エントリというやつです。 否定的なことを多く書いているので、入社予定の人とか在籍している人は見ない方が良いと思います。 ちなみに、NEC通信システム株式会社の正式名称は日電気通信システム株式会社です。 注意書き(2019年7月11日追記) 全て主観で書いています。経営層から見ると色々反論したい部分はあると思いますが、許してください。 辞めてから数年たってから書いているので一部記憶がおぼろげなところがあります。嘘は書いていないつもりです。 また、ここに書いたのはNEC社ではなくNEC通信システムの話です。しかもNEC通信システム全体の話ではなく私個人の観測範囲の話です。 詳細な入社年月日と退社年月日は伏せますが、辞めたのは数年前です。 NEC通信システム株式会社について 特にエンドユーザ向

    新卒で入社したNEC通信システム株式会社を退職しました - 意識低い系会社員
    PEEE
    PEEE 2019/07/12
  • 姉がドブスなのに凄まじくモテる

    姉は脚長の細身ではあるけど自他ともに認める貧乳でしかもブス。 「顔面偏差値クラス最下位はいつどの学校でも争える」と人がドヤ顔で胸を張るほど。 やはり大学卒業までは異性関係からっきしで、男友達すらもいなかった。 が、社会人になってからというもの、妹の私から見ても尋常じゃないモテ方をしていたので唖然呆然だった。 ある日突然、最大手シンクタンクに勤める超絶イケメン高学歴に姉との事会に連れて行かれて、後日「お姉さんのことが好きだ。まだ事する仲でしかないから力を貸してほしい」と打ち明けられたこともある。 こういうエピソードはくさるほどある。どの男性も姉との結婚を熱望していた。 そんな姉がついに来年結婚する。 相手は3つ年上の二代目開業医。イケメン。姉が趣味のスポーツで怪我して彼の診察を受けたことが出会いのきっかけだという。 彼の猛アプローチの末の婚約だった。 せっかくだから、私が長く抱き続けて

    姉がドブスなのに凄まじくモテる
    PEEE
    PEEE 2019/07/12
  • 「マネージャー不要」という人いますけど、大抵の人はマネージャーが管理してくれないと仕事ができないんです。

    ホーム > 「マネージャー不要」という人いますけど、大抵の人はマネージャーが管理してくれないと仕事ができないんです。 こんな記事を拝読しました。 どう考えてもマネージャなんて不要だからそれで上手くいくなんて期待しない方がいい 色んなマネージャがいる。何をやる仕事だろうか?役に立ってる?要らないだろ?って話をまとめたい。 別段批判という訳ではないんですが、思ったことを書きます。 私はシステム関係の仕事をしておりますので、この話を「一般的なシステム開発におけるマネージャーの仕事」の話として解釈してみます。 数人から十数人程度のメンバーが、それぞれ細分化されたタスクを割り振られて、当該タスクの達成を日々のミッションとして働いている現場と、その現場をまとめているマネージャーを想定しましょう。 で、そのマネージャーが不要かどうか、と考えます。 web上で「マネージャー不要論」というものを目にする機会

    「マネージャー不要」という人いますけど、大抵の人はマネージャーが管理してくれないと仕事ができないんです。
    PEEE
    PEEE 2019/07/12