現代思想 2019年12月号 特集=巨大数の世界 ―アルキメデスからグーゴロジーまで― 作者:鈴木真治,フィッシュ,小林銅蟲,詩野うら出版社/メーカー: 青土社発売日: 2019/11/28メディア: ムック 『現代思想2019年12月号　特集＝巨大数の世界』を読んだ。かのフィッシュ氏による巨大数論解説に始まり、巨大基数や組合せ論や、古代ギリシャ以来もしくは仏教における巨大数、巨大数や数学的実体の存在論、永遠についての時間論、はたまたジンバブエドルなどを網羅している。巨大な概念を愛好する向きにはたまらない一冊である。またそれらのトピックが単に巨大であるという理由で任意に集められたわけではなく一定の相互関係を持っている点は注目に値する。 思想史ないし数学史の延長上における巨大数の位置付けは「情報社会にとって『数』とは何か」という大黒岳彦氏の論で述べられていて、これも大変勉強になった。現代の、

2020年7月15日、警視庁は埼玉県の男を日本郵便の転居手続きサービスで虚偽申請をしたとして私電磁的記録不正作出・同供用容疑で逮捕しました。ここでは関連する情報をまとめます。 ストーカー行為に転居サービスを悪用 男は日本郵便が提供する転居サービス「e転居」に不正な申請を行い、知人の女性宛の郵便物を自分の実家の住所に転送していたとみられる。申請が行われたのは3月13日。男の実家には実際に他人宛の郵便物が届いていた。*1 男は取り調べに対し、女性が本当にそこで暮らしているか把握したかったと供述している。*2 男はTwitterを通じて女性の住所を特定作業を依頼していた。*3 男の自宅からは女性の住民票や印鑑も発見されている。 「e転居」は日本郵便のウェブサイトより郵便物等の転送の届け出ができるサービス。電話確認のみで申請を済ますことが出来、本人確認書類の提出は必要ない。*4 日本郵便のe転居サ

18. 嬉しいです • f(x, y) = x • … x と y の両方を渡す必要がある • f(x)(y) = x • … x だけ渡す、という操作が可能 • この操作を部分適用と言う 19. ついでに • λx. (λy. x) は λx. λy. x と表せる • どこがどの関数か自明 • λx. λy. x は λxy. x と表せる • ただの省略記法

先日のエントリで手続きを記述するという側面と、式を記述するという2つの側面があるということを書きました。 プログラムの理論とはなにか そして、手続きの性質として代表的な、アルゴリズムについての勉強のしかたについてまとめてみました。 アルゴリズムの勉強のしかた そこで、今回は、式を記述するという側面の勉強のしかたと、あとこの分野は自分でもまだ全然勉強してなかったので、これからどういう本を読もうと思っているかをまとめてみます。 プログラム意味論 プログラムは必ずプログラム言語、少なくとも記号で記述します。*1 そこで、プログラムの勉強という点では、どのように動くかというアルゴリズムの勉強だけではなく、どのように書けるか、書いたものにどのような性質があるのかということも知る必要があります。 例えば、2005年あたりからRubyのような動的型付け言語が流行りだし、Javaなどの静的型付けの言語との

この記事は、プログラミングの専門教育（大学のコンピューターサイエンスなど）を受けておらず、独学でプログラミングを学習している方へ贈るアドバイスです。 ＝タイムマシンがあったら、過去の自分に会いに行って教えたい話です。 （自分で自分に話しかけるつもりで書いてみますｗ） プログラミング言語はひとつマスターすれば他もできる？ - t-hom’s diary [プログラミング] [設計] [教育] プログラミングパラダイムは(1)命令型（チューリングマシン）、(2)宣言型（ラムダ計算）に大別される。両方理解したら全部カバーできる。言語は開発の背景（動機、歴史）を知るとなじみやすい。例：JSはScheme＋Selfで誕生 2019/09/16 06:49 b.hatena.ne.jp ↑はてなブックマークでこの記事が目にとまりました。 なるほどと思いつつ、自分なりに考えてみたことをメモ。 勉強のコツ

ちょうど一か月前の6月17日（水）宮城県を中心に目撃された「謎の気球」騒動がありました。 その正体は未だに判っておらず、その後、宮城県総務部危機対策課から「所有者・目的などは不明」との取りまとめがなされたことから、この件はやがて人々の記憶から忘れさられていくと思われるので、私自身の取材から今まで指摘されていなかった新たな可能性を探ってみました。 まず確認しておきたいのは、当日の日の出（仙台）は午前4時13分で日の入りは19時4分。昼間の時間が長く、しかも朝から快晴で気球を打ち上げるには申し分ない天気でした。さらにこの時期は上空の風も比較的弱い。このことから、この気球は偶然に飛んだものではなく、誰かが目的を持って飛ばしたものだと推定されます。 当時の状況宮城県総務部危機対策課より提供していただいた文書　宮城県危機対策課から送って頂いた文書「未詳の浮遊物体に関する情報への対応」によると、 6月

JET @JET__Internet 最近できた近所の立ち飲み屋で、入るなり店長ではない常連の陽気な壮年男性に注文を聞かれ、居合わせた客数名と乾杯、妙齢のご婦人から「いくつに見える？」と問われ「同い年ですか？」でひとウケ、如才なく身の上話なども展開しながら小一時間ほど滞在し笑顔で退店、２度と行かないことを決意 2020-07-16 21:46:17 お経 @chunibyokanjade @JET__Internet わかります。常連客は店にとっては諸刃の剣ですね。店にとっては安定収入かもですが、我が物顔で新規客を入りづらくする。。害悪の自覚がなければなおさら。常連客に潰される店もあるんでしょうね 2020-07-17 08:58:59 お経 @chunibyokanjade @JET__Internet そういえば蒲田の大衆酒場鳥万の一階フロアは「カウンター席は一人そっとしておいて欲しい

むかしむかし、ある口に出すのも憚られる卑猥で淫靡ないやらしいクソスケベな名前がついた存在自体がセックスなところに、物語の始まりから100日後にセックスのし過ぎでおじいさんとおばあさんになる予定の若い夫婦が住んでいました。 ある淫靡極まりないエロスとカオスとリビドー渦巻く日、おじいさんとなる予定のセクシーイケメンは大助平山へえちえちしばかりに、おばあさんとなる予定のドチャクソエロそうなギャルは感度3000倍の媚薬が溶け込む川、その名も感度3000倍媚薬川へアクメせんたくに行きました。 クソエロギャルが感度3000倍媚薬川でアクメせんたくをしていると、セクシー川上から、ドスケベンブラコ、ドスケベンブラコと、大きなしかし明らかにクソエロい形をしたドスケベな桃が淫らに流れてきました。 「おっ♡おっほおぉっ♡美味しそうな桃ぉ♡持ち帰ろほおんぐぼぼぉ♡♡」 クソエロギャルは剥き出しの性器から性的な体液

しがないソフトウェアエンジニアしてるけれども、今の会社含めて業界全体的でリモートワークが定着しそう。というか、今の賃貸がク○過ぎて、自宅作業が苦痛。引っ越しを考えるも、「新建築」に載るような集合住宅に住んだ時期を想起しても、この国の賃貸のクオリティーはあまり高くなさそうであり、人生で初めて不動産購入を検討中。 現在都内でも比較的小さな店が多い中央線沿いの街住みで、引越し先は賃貸ベースならば1年ぐらい前から中目黒を検討していたが、物件を買う=10年ぐらい住むとなるともっと自然が多い街に行きたいみたいなところ。 ひとまず中古マンションの購入を検討をしているが、驚くほど非効率な作業を強いられるので誰かにこの不満を共有したい。 マンションは内装部分はいくらでも変更可能なので、正直部屋の写真とかはどうでも良い。寧ろ、「マンションの躯体・構造」「管理組合」そして「街の将来性」に関する情報を知りたい。こ

【追記】 トラバおよびブコメのみなさん、追加の情報ありがとうございます！ 茨城マルシェ！！！福井館！！！何か忘れてるんだよなーって思いながら書いていたんですが、それだ！どちらも凄く良く利用しています。茨城マルシェはリニューアルして名前も変わっていたはずです。入りやすくなったよね。あそこですごいメロンなメロンパンを頻繁に買います。すごくメロンなんだ。あと笠間焼のよいものとかを眺めます。福井館で買ったサバのへしこすごい美味しいんでリピートしています。 宮城（池袋）は池袋に行く用事があまりないんで数回しか言ったことが無いんですがいいですよね。あと新潟（表参道ネスパス）は、岩手と同じぐらい、スーパーマーケット使いが出来るアンテナショップなので大好物です。福井と新潟は戦略的に面白くて、物販系のアンテナショップと食品系のアンテナショップが分かれているのです。青山の福井291はうっとりする美しさの越前漆

「住みたい街ナンバーワン」の常連、東京・吉祥寺。ここに、日本のもの作りの粋を集めた時計メーカーがあることをご存じだろうか。「Knot（ノット）」。高性能の時計本体と、おしゃれなベルトを自由に店でカスタムできる。しかも、時計本体からベルトまで、国産の高性能の部品や素材にこだわる。 生産拠点が中国にシフトし、日本の時計の生産拠点が壊滅していた2013年──。かつて、海外ブランド時計を輸入して大儲けをしていた遠藤弘満社長は、突然、オーナーからクビを宣告される。 「ならば、自分のブランドを立ち上げる」 そして、生まれ育った武蔵野の地を彷徨いながら、日本の地方にある伝統工芸を集めて、「メード・イン・ジャパン」で2万円ほどの時計を作り出した。小さな吉祥寺の店はインスタやSNSで拡散し、若者を中心に静かな話題と支持を集め、累計35万本を販売している。 なぜ、こんな離れ業ができたのか？なぜ、高級レザーや京

プログラミングの上達方法について、はてなブックマークで話題になっていました。 b.hatena.ne.jp またこいつか！ コンピューターサイエンス（CS）とは？ CSの独学方法 定番のタネンバウム本 CSの必要性 初心者に役立つプログラミング学習方法 設計の定番 まとめ またこいつか！ 記事の執筆者は炎上商法の方でした。 （以前ブコメで絡まれたことがあるので覚えていましたｗ） ↓↓↓ オブジェクト指向って便利なの？ - JavaScript勉強会 うへええええ継承による差分プログラミングとか現代に言わないでくれよ。しかも「JSはプロトタイプベースのOOP」を初めとして間違いが多いぞ 2017/03/27 09:42 b.hatena.ne.jp 逆にブコメの間違いを指摘したら、ブコメを非公開にして逃げられました。 jsstudy.hatenablog.com jsstudy.hatena

「みんなのPython勉強会」は、Pythonを中心として、プログラミングを仕事、研究、趣味など、さまざまなシーンで生かす方法を一緒に学ぶ勉強会です。56回の今回は、サーバーサイドエンジニアをテーマに学びます。 AWSソリューションアーキテクトの西谷圭介氏が、前半ではサーバーレスについて説明しましたが、後半はいよいよその実行環境であるAWS Lambdaの基本について解説します。関連資料はこちら。 イベントドリブン 西谷圭介氏：Lambdaには、イベントドリブンという言葉があります。イベントドリブンをちょっと簡単に説明したいと思うんですが、Lambdaとかサーバーレスアプリケーションにおける非常に重要なキーワードなんですね。先ほどのサーバーレスのスタックに置き換えたときにLambdaというものがようやく出てきたんですが、このイベントドリブンをキーワードにしたサービスと言えます。 イベントド

多くのアジア系移民が米国で成功を収めてきた。統計的にもアジア系移民は他の人種グループより高い教育を受け、より豊かな傾向があるという。だが依然として、東アジア系が米国の組織のリーダーとして注目される事例は極めてまれだ。とりわけ大企業や大学では、アジア系の中ではインド出身の人物がトップに出世しているケースが目に付くが、東アジアの日本・中国・韓国出身者は存在感がない。中国出身である米マサチューセッツ工科大学（MIT）のジャクソン・ルー助教授が慎重に分析したところ、いわゆる「差別」や「格差」とは違ったところに、大きな要因があったという。5カ国語を話すというルー助教授に、日本語で聞いた。 ルーさん、今日は日本語での対応をありがとうございます。中国出身ですね。 ジャクソン・ルー米マサチューセッツ工科大学（MIT）助教授（以下、ルー）：はい、実は学生時代に日本語を専攻し、早稲田大学に留学したことがあるの

はじめに こんにちは、StackdriverあらためGoogle Cloud Operations担当者です。Google Cloud Operationsもさることながら、Go Conferenceの運営など、長らくGoコミュニティに関わってきましたが、まだまだ知らないことがあったということを昨日今日で知ったので共有します。 time.minWall time.minWall という値があります。 src/time/time.go - go - Git at Google const ( hasMonotonic = 1 << 63 maxWall = wallToInternal + (1<<33 - 1) // year 2157 minWall = wallToInternal // year 1885 nsecMask = 1<<30 - 1 nsecShift = 30 ) こ

英スコットランド国民党（SNP）のジョン・ニコルソン議員は、議会のデジタル・文化・メディア・スポーツ委員会のビデオ会議で、子供向けテレビ番組への字幕導入について質問していた。

2020/07/17: いくつか追記しました はじめに 私は、TechTrainでフロントエンドのメンターとして面談する中で「最近フロントエンドの勉強を始めました！」という方や、フロントエンドエンジニアを目指す学生と話す機会が何度もあります。 その中でよくある質問が 「フロントエンドの情報収集ってどうしてますか？」 です。 何度も質問を貰うので、気になる人は多いのかなと思います。 この記事では「私がどんな風に情報収集しているか」を紹介しようと思います。主に情報収集の流れと、どこからフロントエンドの情報を集めているかについてです。 情報収集の流れ まずは情報収集の流れとして主にプロセス的な観点で整理してみます。 私の情報収集を抽象化すると以下の3つのプロセスがあると思います。 情報源から情報を集める(ex: Twitter, Blog, Qiita) 特定の場所に情報を溜める(ex: はてな

はじめに web service というものを開発するエンジニアには サーバサイド/インフラ/フロントエンド/iOS/Android などのそれぞれの専門(強み)を持ったエンジニアが存在していると思います。その専門性を境界として見た際に越境する/しないエンジニアではどのような違いがあるのかというのを自身の経験などから僕自身が考えている事をまとめていきます。 自身について 10 年以上お金を貰ってソフトウェアエンジニアをやっていて、その過程でサーバサイド/インフラ/フロントエンド/Android に関しての実務を一定期間行ってきたという経歴があります。現在は主にサーバサイド/インフラを中心として minne というサービスのシニアエンジニアリングリードというものをやっている。 書いたような領域以外でも DevOps みたいな領域の違いみたいなものもあると思いますが、僕自身 Dev と Ops

京都アニメーション第1スタジオ敷地につきまして、 弊社の許可なく、敷地内の立ち入りは禁止します。 また、敷地周辺は住宅地です。近隣の迷惑になる行為はお止め下さい。 特にご町内に関係の無い方の敷地内や周辺での次の行為はお控え下さい。 ・花や食べ物、火気を使用したもの、ゴミなどを放置する行為 ・車及びバイク等の駐停車 ・長時間（又は敷地前）の立ち止まり、座り込み ・動画、静止画等の撮影 ・その他、日常マナーに反する行為 何卒ご理解を賜りますよう、お願い申し上げます。 2020年7月16日 株式会社京都アニメーション Requests regarding the premises of Kyoto Animation 1st Studio and the surrounding area Any entry into the premises of Kyoto Animation 1st Stu

","naka5":"<!-- BFF501 PC記事下（中⑤企画）パーツ＝1541 -->","naka6":"<!-- BFF486 PC記事下（中⑥デジ編）パーツ＝8826 --><!-- /news/esi/ichikiji/c6/default.htm -->","naka6Sp":"<!-- BFF3053 SP記事下（中⑥デジ編）パーツ＝8826 -->","adcreative72":"<!-- BFF920 広告枠）ADCREATIVE-72 こんな特集も -->\n<!-- Ad BGN -->\n<!-- dfptag ＰＣ誘導枠５行 ★ここから -->\n<div class=\"p_infeed_list_wrapper\" id=\"p_infeed_list1\">\n <div class=\"p_infeed_list\">\n <div class=\"

8羽の若いコンドルに追跡装置を取り付けて、飛行の様子を記録する研究により「コンドルは1回も羽ばたくことなく5時間滞空し、距離にして170キロメートルも飛行することが可能」だということが確かめられました。 Physical limits of flight performance in the heaviest soaring bird | PNAS https://www.pnas.org/content/early/2020/07/09/1907360117 We tagged Andean condors to find out how huge birds fly without flapping https://theconversation.com/we-tagged-andean-condors-to-find-out-how-huge-birds-fly-without-fl

昔、給与に目がくらみ、知識ゼロでプロゲラマー募集面接に行った事があり「えっとポインターは理解されていますか？」と言われ。なんのことやろ、キャシャーンの犬かな。よく分からんけど「知ってます」と答え、無事知識ゼロで携帯の組込開発をする事となる。

僕はよく手が早いと言われるのだけど、そんな中で気をつけてることを整理してみた。大きくは下記の３点につきる。 複数タスクは抱えるが、並列で進めないイベント駆動で動くことを原則として、探索行動をしない暫定対応ではなく、最初から必殺する複数タスクは抱えるが並列で進めない僕はだいたい平時2〜4くらいのタスクを抱えている。しかし、だいたい1個〜2個に集中して片付けて、次に手を付けるっていう感じで進めている。 この2つをさばくときは、例えば1つ目のタスクのコードを書ききってしまって、レビュー待ちとかの問に、2つ目のタスクの設計を考えたり、あれこれ進めて、レビューコメントが付いたらまた1つ目に戻ってぐわーってやる感じ。もう少し小さいスキマ時間、例えばchefのapplyとかコンパイルだとSlackで適当に人に絡んでわけのわからないことを言って去るという感じのことをしている。 ともあれ、これの利点は基本的

昔、給与に目がくらみ、知識ゼロでプロゲラマー募集面接に行った事があり「えっとポインターは理解されていますか？」と言われ。なんのことやろ、キャシャーンの犬かな。よく分からんけど「知ってます」と答え、無事知識ゼロで携帯の組込開発をする事となる。

▲68金と寄って左側は受かったと思っていましたが、ここから△46歩▲同銀△25金と右辺に展開されて、自信が持てない展開になっていきました。 ▲59飛に誰でも浮かぶ△47桂は▲同金△同金▲78玉でむしろ先手が良くなるため「どういう狙いなんだろうか」と思っていましたが、△86桂は気が付きませんでした。意味としては▲78玉を防いでから△47桂ということなんですが△82飛が当たりになっているので、ただ縛るだけの△86桂は見えにくい手です。 番勝負をやると、手付き、仕草、息遣いなどで相手が形勢をどう判断しているか、なんとなく分かるようになりますが、自信ありという感じで△86桂を指されて、そこでこっちも手が止まったので、この将棋は負けたなと覚悟しました。 第３局のように持ち時間を残すという点では途中まではプラン通りでしたが、▲85歩(54分)▲95歩(22分)▲68金左(12分)と時間を使った割には形