台湾有事で集団的自衛権行使も　麻生氏 2021年07月05日18時14分 麻生太郎副総理兼財務相 麻生太郎副総理兼財務相は５日、東京都内で講演し、中国が台湾に侵攻した場合、安全保障関連法が定める「存立危機事態」に認定し、限定的な集団的自衛権を行使することもあり得るとの認識を示した。存立危機事態は、日本と密接な関係にある他国が攻撃され日本の存立が脅かされる明白な危険がある事態で、集団的自衛権を行使する際の要件の一つ。 習氏、台湾統一へ野心　「次の１００年」に照準―中国軍拡、焦る米軍 麻生氏は「（台湾で）大きな問題が起きると、存立危機事態に関係してきても全くおかしくない。そうなると、日米で一緒に台湾を防衛しなければいけない」と述べた。 政治 コメントをする

水道の運営権売却、可決　来年４月に事業開始―宮城県議会 2021年07月05日18時22分 水道運営権売却の議案を賛成多数で可決した宮城県議会＝５日午後、仙台市青葉区 宮城県議会は５日の本会議で、上水道の運営権を民間に売却する全国初のコンセッション方式の導入に向け、事業者への運営権設定に関する議案を賛成多数で可決した。県は国への手続きを経て、２０２２年４月の事業開始を目指す。 コロナ後の旅客回復へ布石　仙台空港、民営化５年 県は、人口減による水道事業の収益悪化で予想される料金値上げを抑えるため、県が施設を保有したまま、上下水道や工業用水道の運営権を民間に売却する「みやぎ型管理運営方式」の導入を探ってきた。県検討委員会が事業者として選定した水処理大手「メタウォーター」（東京）など１０社のグループは、２０年間の総事業費３３１４億円について、運転管理の効率化などにより２８７億円を削減できると提案

「どういう表現が公共の場にふさわしくないか」の基準を作っていくという極めて大事なプロセスをフェミに丸投げするなんてとんでもない はてブから人がたくさん来ちゃってなんのためにnoteで書いてるのかわからなくなってるので2日ほどマガジン読者以外に非公開にしますね……。読みたい人はその後で来てください。正直noteは「めんどくさいはてブ民がこない」ことを前提に書きなぐりしてるのでいろいろ雑な記述あったと思います。ごめんなさいm(__)m 長くなったので先に結論だけ書く。 全体的な基準など設定しようがないので個別具体的の例に対して「お互いが」個別に自分の基準を示して殴りあう中で落としどころを探るしかないだろう、という話である。フェミだけに基準提示をもとめるような空気になってたので「議論というならお互いにやれよ」ということを主張しているだけである。 なので、私はこれを全く否定してない。 「許されない

","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=\"

七誌 @7shi すごい、50人くらい参加しています！ 写真撮影推奨とのことで、このハッシュタグで板書が流れるかもしれません。（私は後ろなので撮影困難です） #圏論の基礎の基礎 2018-12-16 10:06:48

自然変換の概念に馴染むことから圏論の応用へ この講座では、まずは自然変換の概念に馴染むことを目標にします。また自然変換と関係の深い概念として、関手の随伴を定義します。さらに随伴や極限という概念を用いて記述される圏の例としてカルテシアン閉圏というものを紹介します。 上で述べたカルテシアン閉圏と関係の深いテーマとして、論理や計算の抽象化について扱っていきます。高校の数学で言えば、集合と論理というところで命題の真偽や必要条件十分条件、対偶や背理法などといった概念を学びますが、これらは数学における命題や証明を扱うための枠組みです。。 ※2018年度に開講済みです。次回の開講は、詳細が決まり次第こちらのHPに情報を更新します。 現代の数学で色々な概念を記述するための基本的な言葉として圏論というものがあります。圏論ではものの集まりとそれらの関係に注目するという視点を推し進めることで、数学に現れる現象を

RNAを自在に切断、分解する方法は既知の技術 では、ここからはシバタ先生のメール（青い枠内）を引用しながら、お話を進めさせて頂きたいと思います。 細胞の中にあるRNAを自在に切断、分解する方法は、実は既に公知の技術です。 これが、2006年の秋に、アンドリュー・ファイアーとクレイグ・メローによって発見された「RNA干渉」という技術です（ノーベル賞（医学生理学賞）を受賞し、世界中に知れ渡りました）。 この技術を使えば、狙いを定めた特定のRNAを分解し、活動を抑制できるのです。 具体的には、「タンパク質を製造する伝令RNAを破壊することで、目的のタンパク質を作れなくする技術」です。この方法の優れた点は、本家のゲノム上の遺伝子の情報を変えなくても、ターゲットである遺伝子がタンパク質に翻訳されるところを「邪魔」することができる点にあります。 この発明以後、「このRNA配列の、この部分を切断したい」

Z言語を使った形式仕様記述の例 形式手法（けいしきしゅほう、英: formal methods）は、ソフトウェア工学における数学を基盤としたソフトウェアおよびハードウェアシステムの仕様記述、開発、検証の技術である[1]。ソフトウェアおよびハードウェア設計への形式手法の適用は、他の工学分野と同様、適切な数学的解析を行うことで設計の信頼性と頑健性が向上するという予想によって動機付けられている[2]。 形式手法は理論計算機科学の様々な成果を基盤として応用したものであり、数理論理学、形式言語、オートマタ理論、プログラム意味論、型システム、代数的データ型などを活用して、ソフトウェアおよびハードウェアの仕様記述とその検証を行う[3]。 分類[編集] 形式手法はいくつかの水準で使用可能である: 水準0 形式仕様記述を行い、プログラム自体を非形式主義的に行う。「軽い形式手法」と呼ぶ。費用対効果が早く得るこ

この記事には参考文献や外部リンクの一覧が含まれていますが、脚注による参照が不十分であるため、情報源が依然不明確です。適切な位置に脚注を追加して、記事の信頼性向上にご協力ください。（2023年4月） チューリングパターンの例 チューリング・パターン（Turing Pattern）とはイギリスの数学者アラン・チューリングによって1952年に理論的存在が示された自発的に生じる空間的パターンである。 概要[編集] 2変数の連立偏微分方程式を考える。 ただし, で、, は反応項、 は拡散係数、 はラプラシアンである。 このような形の方程式は一般に反応拡散方程式と呼ばれる。チューリングは1952年、2つの拡散係数が大きく異なり反応項、が一定の条件を満たすとき、上記の方程式系で空間的パターンが自発的に生じることを証明した。このような自発的パターン形成は特定の波数の不安定化が原因であるがこの不安定性を拡散

概要 現場で役立つシステム設計の原則 変更を楽で安全にするオブジェクト指向の実践技法　を読んで、一度読んだだけでは身につかないと思ったため、大事なところをまとめてガイドラインとして利用できるようにしたいのが狙い。 実際に読んでみて、自分で理解して噛み砕いた文章に起こすと同時に、簡単に自分でも実装をしてみてTipsを掴む。 ひとまず４章までをまとめました。続きは本書の購入を検討してみてください。 ５章以降は４章までを踏まえて実際にドメインモデルを使ってアプリケーションをどう実装するのか。と言う内容になってます。 本書はJava＋SpringBootが題材となっていますが、個人的にはTypeScriptでのフロントエンドの実装についても参考になる点が非常に多いと思います。 Amazon - 現場で役立つシステム設計の原則 ~変更を楽で安全にするオブジェクト指向の実践技法~ 　著：増田 亨 まと

まともなアプリケーションは１度作っただけでは不十分で、大抵もう２回はフルスクラッチで作り直し（再設計）が必要だ、という話しです。３度目の正直とも言います。 対象 対象となるのは、GUIのあるアプリケーションを一般向けに人様に使ってもらう為に開発する際の話しです。GUI（イベントドリブンの処理があるUI）が絡むと途端に複雑さが増すため、非GUIのライブラリとか単一機能のツールとは事情が異なります。単にリクエスト<->リスポンスしかないWebアプリも対象外です。 自分の場合、アプリはショボアプリ含めるとそこそこの数を作ってきましたが、振り返って考えてみると、今でも使っていて、満足できる仕上がりになったと思えるアプリは、大抵２回はフルスクラッチで作り直し（再設計）をしていました。個人的な経験ですが、ありがちなのではと思います。 前提 なぜなのか、というと、まず前提として、開発者が新しいアプリを作

親記事 : https://qiita.com/Regpon/items/1116679adadd8fb76f3f ドメインモデルで設計する狙い オブジェクト指向プログラミングにおいてかなり重要な内容となっているが如何せん概念的な内容となっている。ドメインモデルを設計するには幾度とない失敗の経験を重ねていき、常に改良していく精神が重要。そのための指針となる内容なので是非とも押さえておきたい。 それを踏まえてドメインモデルで設計する狙いは以下の通り。 業務的な判断・加工・計算のロジックを重複なく一元的に記述できる 業務の関心事(データ)とコードを直接対応させ、どこに何が書いてあるのかわかりやすく整理する 業務のルールの変更や追加の時に、変更の影響を狭い範囲に閉じ込める ドメインモデルの設計の難しさ ドメインモデルの設計は手続き型(スクリプト型)のプログラミングと比べて設計がむずかしいとされる

Tails (テイルス、The Amnesic Incognito Live System) は、DebianベースのLinuxディストリビューションである。ユーザーのプライバシーと匿名性の保護に特化している。 概要[編集] プライバシーと匿名性を保護するため、すべてのトラフィックにTor（localhost、ポート番号TCPの9150）を経由させる。さらに、ハードディスクを使用せずメモリ上だけで動作させることで、暗号化された永続性ストレージを除き、あらゆるデータが消去されるため、開いたウェブサイトやファイルの履歴といった痕跡を残さない[3]。DVDやUSBフラッシュドライブから起動させることが可能である[4]。仮想マシンのゲストとして起動することもできるが、ホストコンピュータによってはプライバシーや匿名性が損なわれる可能性があるため公式は推奨していない[5]。 歴史[編集] Tailsの

アメリカ最大の石油パイプライン運営企業・Colonial Pipelineや、世界最大の食肉業者・JBSなど、日常生活に深く関わる企業がランサムウェア攻撃の対象となる事件が多発しています。そんな中、アメリカ合衆国国土安全保障省のサイバーセキュリティ・インフラストラクチャセキュリティ庁(CISA)がランサムウェア対策ツール「Ransomware Readiness Assessment (RRA)」を2021年6月30日にリリースしたので、実際に使ってみました。 CISA’s CSET Tool Sets Sights on Ransomware Threat | CISA https://us-cert.cisa.gov/ncas/current-activity/2021/06/30/cisas-cset-tool-sets-sights-ransomware-threat Releas

そういえばこのあいだの小林さん三浦さんとの対談で言ったのだけど、いまはセレブな富裕層でITでグローバルな人々こそがリベラルでヴィーガンで多様性と弱者の味方なのに、搾取されている一般大衆こそが保守的で強権的な政治家を求めナショナリストだという逆転が起きていると言われている（→）

言い換えるなら、多様性が各種設定を難しくし、普及を妨げているってこと。 ディストリビューションの違いはもちろん、同じディストリであってもバージョンの違い、更に同じバージョンであってもインストールするパッケージの違いがあるお陰で、Windowsやmacみたく 「普通はこの手順で解決、もし解決しなかったら…」 みたいなハウツーが成立し得ない。 それどころか、あらゆる手順が 「俺んとこではこれでうまく行ったぜ？」 レベルの参考資料にしかならない。 だからLinuxを扱う者はこれを踏まえた上で、トラブルを基本自力解決できる事が、事実上の最低レベルとして求められる。 結果、今日も世界のどこかで 「俺は別に、OSの勉強がしたくてLinux触ってるんじゃねえ！」 という初心者の叫びが聞こえてくると。 もしこれが同じUNIX系OSでも*BSDであれば、Linuxのディストリビューションに当たるものは事実上

無料で使えるオープンソースの音声編集ソフト「Audacity」が、ユーザーの個人情報を収集・使用する新しい方法についてまとめた「プライバシーポリシー」を公開しました。このプライバシーポリシーによると、Audacityはユーザーのプライバシーを最大限に順守するものの、「法執行、訴訟、当局からの要請があったデータについては収集する」としており、あらゆる種類のデータが収集される危険性があることが明らかになっています。そのため、海外掲示板上では「オンラインアプリケーションが法執行に必要なデータを収集する理由はない」などの否定的な意見が噴出しており、データ収集をしないようなAudacityをフォークするプロジェクトまでスタートしています。 Desktop Privacy Notice | Audacity ® https://www.audacityteam.org/about/desktop-pr

人買いの「正義」 さて、そう考えると、「自然居士」で人買い商人たちが主張した「人を買い取ったら、ふたたび返さない」という「大法」も、あながち不当な言い分とはいえなそうである。 さきの延応元年の鎌倉幕府法の前段では、飢饉下では特例として人身売買を公認したと述べていたが、その後段では、「しかし、その後になって、身売りした者を飢饉のときの安い物価で買い戻そうというのは、虫の良すぎる話である」という文章が続いている。これは、人買いたちのいう「人を買い取ったら、ふたたび返さない」という主張によく似ている。 日本を揺るがした未曾有の大飢饉が収束して8年、当時、破格の値段でわが子を手放した親たちが自身の生活を立て直し、あのときに手放したわが子を買い戻そうという動きが全国で現れていた。問題は、その際の値段交渉である。 飢饉下では貧乏人の足元をみて二束三文に買い叩いておきながら、飢饉が収まったら、常識的な相

能「自然居士」で描かれた“身売り少女”の悲劇 世阿弥（1363？～1443？）の父、観阿弥（1333～1384）が作ったとされる能で、「自然居士じねんこじ」という作品がある。 主人公の自然居士は、鎌倉時代の京都に実在した半僧半俗の説経師。彼の説法は庶民にもわかりやすい解説とパフォーマンスで知られ、彼が登壇する説法会はいつもファンで超満員だった。いわば当時のカリスマ・タレントである。 ある日、京都東山の雲居うんご寺というお寺での出来事である。この日は、寺の修繕費集めのための7日間におよぶ、自然居士スーパー説法ライブの最終日だった。境内は自然居士目当ての信心深い男女で大賑わい。そんな聴衆のなかに、死んだ両親の供養を願って、美しい小袖をお布施として持参してきた14～15歳の少女がいた。 じつは彼女は、自分の身を人買い商人に売って、それで得た代金で小袖を買い、両親のための読経を依頼しにきたのだった

麻生太郎副総理兼財務相は5日、新型コロナウイルス感染を巡り「コロナで全員、死に絶えるようなあおった新聞記事も拝見するが、日本の場合10万人当たり12、13人亡くなっている。人口比では、先進国の中で最もうまくいっている」と述べた。日本政府の対応に大きな不備はなく、感染による死者は少ないとの見方を示した発言だが、国内の感染死は1万4800人を超えている。 東京都内で開かれた自民党衆院議員の政治資金パーティーで講演した。

朝日新聞出版のウェブメディア「AERA dot.」は2021年7月5日までに、小泉進次郎環境大臣が、静岡県熱海市で起きた土砂崩れを「テレビの中ですけど...」と発言した、と報じたことについて、記者の「聞き間違い」だったとして、記事の内容を訂正・謝罪した。 該当の発言部分は、「選挙の中ですけど」と訂正された。 「多くの国会議員が熱海の土砂崩れの対応をしているというのに」 AERA dot.は7月4日朝8時に「小泉環境相は熱海災害を『私の仕事は雨が上がった後』と他人事　菅首相は都議選『勝利宣言』準備」と題した記事を配信。熱海市で大規模な土砂崩れが発生した3日、東京・町田市で都議選を戦う自民党・星大輔候補（その後当選）の応援演説に立った小泉氏の発言を、批判的な論調で報じた。 AERA dot.は小泉氏の演説中の発言について、以下のように伝えた。 「これはテレビの中ですけど、静岡県の熱海で大変大き

","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=\"

人間は「時間に縛られた動物」 「グリニッジ標準時（GMT）」がこの世界に誕生したとき、各地で時計破壊運動が起きた。 それは、時計が一方的に押しつけてきた「時間」に対する怒りの表れだったが、現代社会に生きる私たちにしてみれば、こうした抵抗運動はなんとも奇異に思える。私たちの意識には、時計が押しつけた時間感覚がこびりついて離れないからだ。 時間（time）は、現代英語で使用頻度が最も高い名詞だ。教会の尖塔や市庁舎に時計の文字盤と針が登場して以来、時計は私たちの身近にある。職場や学校、家庭、私たちの腕、さらにはスマートフォンやノートパソコン、テレビ画面にも時計は組み込まれ、私たちは毎日それを見て何時間も過ごしている。 私たちの日々の生活に規律を与えているのも、時計が指し示す時間だ。労働時間と賃金はこの「時計時間」に従って決められ、自由時間も時計に従って厳格に管理されている。 さらに、人間の体の生

20歳の若さでヒットを飛ばし独立するも、社長業に追われゲーム作りから離れてしまい、「一緒にゲームを作ろう」と志を共にした親友とも決別。ゲーム会社の社長なのに10年近くゲーム制作から逃げていたが、海外ファンからの熱いラブコールに押され、齢57にしてUnityもバリバリ使いこなし現場の第一線に復帰した開発者の話 本稿では『ワンダーボーイ アーシャ・イン・モンスターワールド』の開発者、西澤龍一氏のインタビューをお届けする。 西澤龍一氏　……といっても、『ワンダーボーイ』『モンスターワールド』といったタイトルと、その開発者である西澤氏の名前は、レトロゲームやセガハードのファンの間では広く知られているものの、年齢の若いゲーマーをはじめとする幅広い層には、少々解説が必要だろう。 まずは、以下に西澤氏がこれまで手がけたゲームのリストを掲載したので、ぜひ見てほしい。 1981年 スイマー（AC） 1983

はじめに どんなソフトウェアエンジニアも拡張しやすくメンテナンスしやすいソフトウェアを作りたいと思っているはずです。また、どんなプロダクトマネージャも同様に拡張しやすいシンプルな要求を作りたいと考えているはずです。 しかし、将来の不確実性や発展性に対して見通しを立てるのは難しいものです。そのため、開発チームの思いとは裏腹にソフトウェアの複雑性はどんどんと増大していきます。気がついたら技術的負債と呼ばれるような手もつけられない泥団子になってしまうということもしばしばです。誰もが生産性を下げるために機能を追加したいわけではなく、ビジネス価値を提供するために機能を追加したいだけなのにです。 このような状況を避けるためにはどうしたらよいのでしょうか。今回はその一つの手段として、要求には隠れた「意図」があり、それを発見していくことの重要性についてまずはお話しします。さらにわかりやすい要求が持つ仕様の