この数年で、プログラミング言語（PL）や機械学習のコミュニティは 確率的プログラミング（PP） を用いて、それぞれに共通する研究の関心事を明らかにしてきました。その概念は、抽象化のような強力なPLのコンセプトを”エクスポート”し、現状では複雑で困難な作業である統計的モデリングに再利用することができるかもしれない、というところにあります。 （講義ノートの 最新版 を閲覧したい方は、リンクをクリックしてください。ソースは GitHub に投稿してあります。誤りを発見した場合は、Pull Requestを送信してください。） 1. 何、そしてなぜ 1.1. 確率的プログラミングは○○○ではない 直観に反して、確率的プログラミングとは確率的に振る舞うソフトウェアを書くことでは ありません。 例えば、暗号のキー・ジェネレータやOSカーネルでの ASLR の実装、または回路設計のための 焼きなまし法

２０２０年東京五輪・パラリンピック大会組織委員会と東京都は２２日、５月に国や関係自治体と大枠合意した額から３５０億円削減し、総経費を１兆３５００億円とした大会経費計画第２版を公表した。 【写真】小池知事「立ち食いステーキ」姿にネット上騒然 各項目、増減がある中、最も削減額が大きかったのは輸送費で３００億円。立候補ファイルにあった、観客の公共交通機関の無料化を取りやめるなどした。追加種目による増額はなかった。一時は組織委の予算６０００億円を大きく上回る積算になったが、武藤敏郎事務総長は「ないものはどうにもならない。相当厳しくやった」と語った。 今後も削減努力を続けるとし「競技実施に支障がないよう、オリンピックの要求水準を下げる必要がある」。昨今、立候補都市が減少する中、国際オリンピック委員会（ＩＯＣ）も経費削減に本腰を入れ、東京大会を今後のモデルケースにしたい考え。 中にはＩＯＣ自体が「身を

竹中平蔵「日本人の生活はそんなに苦しくなってないのに騒ぎすぎ。もっと頑張れ」岸田減税は何の意味もないと断言…「社会安定のため国民に施し（給付）を」

「今回は期待に沿わない結果になってしまって…。ホントに…」。いつになく元気のない声の主は広島緒方孝市監督でした。 ＤｅＮＡに敗れ、クライマックスシリーズ（ＣＳ）敗退が決まった後、お疲れさん！　の握手をしたときに思わず漏れた言葉です。 昨年の日本シリーズでも、やはり、マツダスタジアムで日本ハムに敗れ、日本一を逃したときに話したときよりも元気がなかったように感じました。 せっかく連覇を果たし、「今季こそ日本一だ」という願いを背中に受けながら、常勝ソフトバンクとの頂上対決にたどり着く前に夢がついえてしまったのだから無理もありません。 今回のＣＳファイナルは昨季まで在籍し、２５年ぶり優勝に貢献したＯＢの黒田博樹さんとともにマツダスタジアムでの戦いを見るという「特別ミッション」で広島に出向きました。 「予想外です」とその黒田氏も言っていたように、野球ファンの多くが広島の突破を信じて疑わなかったと思い

１２月２２日、国際ジャーナリストのビル・エモット氏は、２０１８年の日本経済の優先課題として、女性活躍を促す労働法制改革、大学教育への支出拡大、対米貿易戦争への備えの３つを指摘。写真は、共同記者会見を行うトランプ米大統領と安倍首相。都内で２０１７年１１月撮影（２０１７年　ロイター/Jonathan Ernst）

これも、トレーニング業界で効果測定のために昔から広く一般的に用いられているものです。 私がパーソナルトレーニングの指導をさせていただく際は、いつも、この表を使って、お客様の1RM筋力を測定、記録しています。もちろん、私個人の測定の際にも活用しています。 例えば、ベンチカールでもスクワットでも何でも良いので、40kgの重さを、やっと8回あげられたとします。その場合、「1RM筋力」は、40kg÷0.8=50kgになります。これで、40kgを10回あげられるようになったら、次に42.5kgにあげて、8回あげられたとします。 その場合、「1RM筋力」は、42.5kg÷0.8=53.125kgになったということです。 効果的なセット数の基準は3セットトレーニングのセット数についてですが、ウエストスコットランド大学のラルストン教授らの最新の研究によると、初心者や中級者は2-3セット、上級者は3-4セッ

韓国企画財政部と日本財務省、両国の経済官僚は毎年、サッカーの親善試合をしている。常に不安定な両国関係だが、２０００年以降に行事が開かれなかったのは東日本大震災（２０１１年）当時とＭＥＲＳ事態（２０１５年）当時のわずか２回だけだ。２０１２年の李明博（イ・ミョンバク）大統領の独島（ドクト、日本名・竹島）訪問で韓日財務相会談はなくなった２０１３－１４年にもこのサッカー試合は行われた。 親善試合とはいえ、激しい自尊心競争は他の韓日国家対抗戦に劣らない。選手に選抜された官僚は「死ぬ気でやる」と言う。勝とうという欲が強いため、さまざまなエピソードが生まれる。昨年は企画財政部のある幹部が駆使した「論介（ノンゲ）戦術」が話題だった。酒量に自信があるこの幹部は試合前日の夕食会であらかじめ準備しておいた大きめの器に酒を満たし、日本側のエース級選手らと対酌した。作戦は成功し、この幹部は企画財政部内で勝利の最大貢

釜山東区庁関係者らが今月２８日、市民団体が日本領事館前に設置した「平和の少女像」を不法占拠したとして撤去し、トラックに載せている。 韓国と日本政府が旧日本軍慰安婦問題の解決に向けて合意してから１周年を迎えた今月２８日午後１２時４０分ごろ。釜山市東区草梁洞（プサンシ・トング・チョリャンドン）の駐韓日本領事館前に「平和の少女像」が突然設置された。少女像は日本領事館に２つの目を向けるようにして設置された。 だが、午後４時ごろ、釜山東区庁職員３０人余りが少女像を取り囲んでいた市民４０人余りを一人ずつ引き離し始めた。市民は「少女像を守ろう」「『日本の警察』はあっちへ行け」と激しく抵抗した。結局、奇襲設置から４時間後に少女像は強制撤去となった。東区庁職員は少女像を車両に載せて行った。 ほぼ同じ時間、ソウル鍾路区中学洞（チョンノグ・チュンハクドン）駐韓日本大使館前。慰安婦少女像の前で第１２６３回水曜集会