カタラン予想とマチンの公式 - tsujimotterのノートブック
カタラン予想は、次のような有名な数論の予想です。 を満たす正の整数 の組は に限る． 「予想」とはいっても、実はもう既に解決されている問題です。 カタラン予想は、2002年にミハイレスクという数学者によって解決されました。このことについては、以前のブログ記事でも紹介したことがありました。 参考： tsujimotter.hatenablog.com さて、今日お話したいのは カタラン予想に「円周率の公式」が関係している というお話です。円周率の公式に「マチンの公式」と呼ばれるものがあり、マチンの公式に関連する研究成果が、カタラン予想の部分的な問題の解決に貢献しているというのです。非常に興味深いお話なので、このブログの読者にも気に入ってもらえるのではないかと思います。 実は、今回のテーマについては、１月２７日に開催の「関西日曜数学 友の会」というイベントで、Tomohiro Yamada さ
京急線の踏切 トラックと電車が衝突 30人けがの情報 横浜 | NHKニュース
５日昼前、横浜市の京急線の踏切で、電車とトラックが衝突して複数の車両が脱線し、トラックの運転手の男性が死亡し、乗客など33人がけがをしました。トラックは踏切内で立往生したとみられ、警察が詳しい状況を調べています。 5日午前11時40分ごろ、横浜市神奈川区の京急線の踏切で、８両編成の快特電車がトラックと衝突して先頭から３両目までが脱線しました。 トラックはめちゃめちゃに壊れて炎上し、一時、黒煙が激しく上がりました。 警察によりますと、大型トラックを運転していた千葉県香取市の運送会社の本橋道雄運転手（67）が死亡し、乗客など33人がけがをしました。 当初、重傷とされた20代の乗客の女性も含め、いずれもけがの程度は軽いとみられています。 このほか数人が体の痛みなどを訴えましたが、病院への搬送は辞退したということです。 京急によりますと、この電車は青砥発三崎口行きで横浜方面に向かっていて、乗客およ
横断歩道「斜め」にしたら事故減少か 横断中の歩行者が見つけやすくなる納得の理屈 | 乗りものニュース
横断歩道をわざと「斜め」に引いた交差点が愛知県内で導入されており、事故防止に効果を挙げています。その角度も「12度」ときまっているそうです。 その名も「鋭角横断歩道」 愛知県内で、ちょっと変わった横断歩道が導入されています。車道に対し、わざと「斜め」に引かれているというものです。もちろん、交差点の対角を結ぶスクランブル方式にしているわけではありません。 鋭角横断歩道が導入されている愛知県日進市の米野木東交差点（画像：愛知県警）。 愛知県警はこれを「鋭角横断歩道」と称し、2012（平成24）度から整備を進め、2018年度末時点において県内32か所の交差点で導入しているそうです。「県下で発生する人身事故の半数近くを交差点関連の事故が占めていることから、歩行者の横断中およびクルマの右左折時における事故を減らすことが、交通事故全体の削減につながると考え開発しました」といいます。県警へさらに詳しく話
沈むH.265、グーグル動画仕様AV1が主役へ アップル採用で加速か
動画の放送や配信の中核技術である映像符号化方式（動画コーデック）。国際機関で標準化された“正統”な現行規格が、主役から引きずり降ろされる異例の展開になっている。 米グーグル（Google）や米アップル（Apple）、米アマゾン・ドット・コム（Amazon.com）などが推す“異端”の新規格が、「事実上の標準（デファクトスタンダード）」として主役に立つ。世界で急伸する動画配信サービスで、米国勢の台頭を勢いづかせる。 新規格とは、米国の非営利団体アライアンス・フォー・オープン・メディア（AOM）が2018年に公開した「AOMedia Video 1（AV1）」である（図1）。グーグルやアップルなど多くの大手IT企業が参画する。 最大の特徴は、特許料を無料にする「ロイヤルティーフリー」を掲げることだ。映像関連事業を手掛ける費用を大きく削減できる。現行の標準規格である「H.265/HEVC（Hig
2019年のエンジニア新人研修の講義資料を公開しました - Cybozu Inside Out | サイボウズエンジニアのブログ
こんにちは。皆様、夏はいかがお過ごしでしたか。 私は毎年実家に帰省し、そして毎年体調を崩すので、絶対風水的になんか合わないんだと思っています。コネクト支援チームのsakay_yです。 先日、2018年の新人研修資料を公開し、たくさんの反響をいただきました*1。ありがとうございました。 2019年もエンジニア新人研修を行いましたので、その紹介と講義資料を公開いたします。 2019年のエンジニア新人研修について 今年の研修は、組織運営チーム*2が取りまとめ、以下のような3構成となりました。 必修講義 誰に: 開発/運用本部に配属される新入社員 何を: どのチームに行っても必要となる基礎的な知識/技術/ツールを学び、体験できた 選択講義 誰に: 学びたい人が（＝新入社員に限らず） 何を: 興味があることを学べた チーム体験（2週間 * 3チーム） 誰に: 開発/運用本部に配属される新入社員
Introduction to Kubernetes
この資料は「Kubernetes という名前ぐらいは知っているけど、実際には使ったことがない、何ができるのかよく知らない」という人を対象に、Kubernetes の基本的な使い方を説明しています。 この資料を読めば、Kubernetes 上に単純な Web アプリケーションをデプロイできるようになるはずです。
逃亡犯条例撤回 「こいつら暴徒だわ」香港デモ隊の“醜い真実”をあえて書く | 文春オンライン
約3か月間にわたって香港を騒がせていた大規模デモは9月4日、騒動の引き金である逃亡犯条例改正案の完全撤回を香港政府側が表明したことで大きな岐路を迎えている。デモ賛同者の多くは「遅すぎる」と不満を表明し、残りの要求事項の実現を求めて抗議継続を宣言しているが、長期間の抗議運動が一定の成果を引き出したのは事実だろう。 私は8月26日から現地に滞在している。騒動が一定の節目を迎えたことで、現地で見聞した不都合な事実――。すなわちデモ隊にとって都合の悪い情報についても、あえて伝えるべきだと考えて今回の記事を書くことにした。以下で詳しく書くように、デモ参加者の一部はかなり暴力的な行動にはしっており、さらに従来我々に伝えられてきたデモ報道は（欧米メディアの情報も含めて）あまり客観的ではない。 条例改正案の撤回という最低限の落としどころが生まれたことを契機に、このデモは収束してほしい。私はいまやそう願うよ
暑さ対策に人工雪 東京五輪、テスト大会で降雪機導入へ：朝日新聞デジタル
","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=\"
「iPhone SE 2」は4.7インチ液晶で2020年春に発売！日経報道 - iPhone Mania
AppleがiPhone SEの後継モデルを2020年春に発売する、と日本経済新聞が報じています。高価格化が進むiPhoneの中に、小型の低価格モデルを投入することで販売台数を確保する狙いとみられます。 「iPhone SE 2」は4.7インチ液晶を搭載の低価格モデル 日本経済新聞によると、Appleが投入するiPhone SEの後継モデルは、iPhone8の4.7インチ程度の液晶ディスプレイを搭載して販売価格を抑える一方で、そのほかは上位モデルと共通の部品が使われる、とのことです。 現地時間9月10日のスペシャルイベントでは、iPhone XS/XS Max/XRの後継となる上位モデルを発表し、iPhone SEの後継モデルの発売は2020年春になる、と報じられています。 販売価格は、SamsungのGalaxy A30などと同等の4万円前後と予測されており、高価格化したことで販売が伸び
「月に100万でも入れば」上野宏史前厚労政務官 “口利き疑惑”新たな録音データ | 文春オンライン
そもそも上野氏の疑惑は、人材派遣会社「ネオキャリア」（以下ネオ社）が派遣する外国人の在留資格について、法務省に少しでも早く許可が出るよう口利きすることで、同社からカネを得ようと画策したもの。小誌は当初、上野氏が政策秘書A氏との打ち合わせの席で「ネオキャリアからお金もらう案件でやってんだ」「1件につき2万円」などと語る生々しい録音データを入手、すでに公開している。 ネオ社が上野氏に送った申請一覧表 新たな録音データは、ネオ社を上野氏に紹介した女性経営者N氏と上野氏の会話だ。これは上野氏が「ネオキャリアからお金もらう案件でやってんだ」と発言した翌日に、N氏を議員会館に呼び、打ち合わせを行った際のもの。そこには、こんなやり取りが収められている。 N氏「私、手間がすんごいかかるって、ちょっと、わざと（ネオ社に）言っていて（笑）。言った方が値上げできるんで～。（略）高値で売りたいんですよね」 上野氏
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
『逃亡犯条例撤回 「こいつら暴徒だわ」香港デモ隊の“醜い真実”をあえて書く | 文春オンライン』へのコメント
「自分で作るホームオートメーション」、エンジニア視点で使ってみた！ IoT向けのオープン技術「MQTT」「OpenHAB 2」はどういうものなのか？
ニコン、フラッグシップ一眼レフ「D6」を開発発表 スポーツ向け望遠ズーム「AF-S NIKKOR 120-300mm f/2.8E FL ED SR VR」も
