並び順

ブックマーク数

期間指定

  • から
  • まで

321 - 360 件 / 30937件

新着順 人気順

保守の検索結果321 - 360 件 / 30937件

  • 自民党LGBT特命委員会事務局長・城内実議員がオフレコ問題発言 「同性婚はウクライナが正しいという人と同じで少数派」

    荒井勝喜・元首相秘書官の「LGBT差別オフレコ発言」による批判を受け、LGBT理解増進法案の法制化を進めている岸田政権。だが、そこに再び水を差すような事態が発生した。 2月15日に開かれた超党派の議員連盟「 LGBTに関する課題を考える議員連盟 (LGBT議連)」後、記者団のオフのぶら下がりに応じた「性的マイノリティに関する特命委員会(LGBT特命委員会)」事務局長の城内実・自民党衆院議員が次のような発言をしたというのだ。 「同性婚はウクライナの問題と同じだ。『ウクライナが正しい』というのはむしろ少数派。世界の流れだっていうのは間違っている」 大手紙政治部記者はこう言う。 「今、世界的にも同性婚を認めていこう、LGBTの方々に対する差別をなくしていこう、という流れになりつつあるのに、城内さんの『(同性婚は)少数派で世界の流れではない』という発言に対して、その場に居合わせた記者たちは驚いたそ

      自民党LGBT特命委員会事務局長・城内実議員がオフレコ問題発言 「同性婚はウクライナが正しいという人と同じで少数派」
    • なぜ脱OSSが増えているのか?

      はじめに TerraformやVaultを開発するHashiCorpは自社製品をOSSのMPL(Mozilla Public License v2.0) から、ソースコードは公開するも一部の利用に制限があるBSL(Business Source License) への変更をアナウンスしました。 これは2018年のRedisを皮切りにMongoDBやCockroachDB、ElasticSearchなど多くのプロダクトで進められている脱OSSの流れです。商用のオープンソース[1]と言われてしまうこともある最近のこの動きの理由は何故なのか? という点を以下の動画で解説しました。 動画中では尺の都合で端折った個所も多いので、こちらの記事の方にもまとめておきたいと思います。 OSSとは? OSSの定義 まず、OSS(オープンソース)とはなんでしょうか? これはRMSのフリーソフトウェアを源流とする

        なぜ脱OSSが増えているのか?
      • プロジェクトX、出演NGなのでは。あるいは富士通半導体の敗北の歴史

        富士通に忖度してるとか言ってるけど、あれ、普通に取材NGだったんじゃないかな。 当時の経緯を知ってると「私の名前は出さないでください」ってなったとしても不思議じゃないと思う。そうなれば当然NHKも富士通も触れないし、本人が拒否したんですなんて発表するわけもないし(例え親族が声を上げたとしても) 京コンピュータって、富士通半導体の最後の打ち上げ花火だったんだよ。 当時の話京の開発が進み、実際に生産されるころは、経営方針として富士通は半導体撤退をするかどうかで揉めていたころだった。 京コンピュータは、富士通が自社工場で作った最後のスパコンであると同時に、国のトップ開発のHPCにおいて、富士通が単体で作り上げた初めてのHPCでもあった。 これは、富士通が優れている、というよりも、逃げ遅れたと表現してもよいかもしれない。HPCのプロジェクトからは、NECと東芝が次々と撤退していたのだ。 当時半導体

          プロジェクトX、出演NGなのでは。あるいは富士通半導体の敗北の歴史
        • 「自民党員になれば融資」国会議員が出席した会合の一部始終 音声公開 | 毎日新聞

          融資説明会で配布された入党申込書と資料=東京都内で2021年5月19日午後6時21分、最上和喜撮影(画像の一部を加工しています) 2020年12月10日午後。東京都港区にあるオフィスビルの一室で、経営者ら十数人を集めた「融資説明会」が開かれていた。金融機関の融資についての説明文書とともに、参加者にはなぜか自民党の入党申込書も配布された。司会者に促され、説明会の途中で姿を現したのは現職の自民党国会議員だ。議員が顔を出した理由は何か。毎日新聞はこの説明会の様子を録音した音声データを入手した。取材を進め、明らかになったのは――。(ログインした方は音声データを視聴できます) 関係者によると、この説明会は千葉県のコンサルタント会社が主催したもので、融資のスキーム(枠組み)を紹介するとの名目で開かれた。 司会を務めた同社代表は100%政府出資の金融機関の名を挙げ、融資スキームの資料を示しながら説明を始

            「自民党員になれば融資」国会議員が出席した会合の一部始終 音声公開 | 毎日新聞
          • CDB@初書籍発売中! on Twitter: "あまりにも物凄くてネットの感覚が追いついてないけど、これ個人の放言じゃなくて、完全に維新の中で議論して出してきた『結論』なんですよ。比例で800万票取った政党が『我が党は帰化国籍を差別します』って言い切ったわけ。桜井誠が一番びっく… https://t.co/A7HjtAs30D"

            あまりにも物凄くてネットの感覚が追いついてないけど、これ個人の放言じゃなくて、完全に維新の中で議論して出してきた『結論』なんですよ。比例で800万票取った政党が『我が党は帰化国籍を差別します』って言い切ったわけ。桜井誠が一番びっく… https://t.co/A7HjtAs30D

              CDB@初書籍発売中! on Twitter: "あまりにも物凄くてネットの感覚が追いついてないけど、これ個人の放言じゃなくて、完全に維新の中で議論して出してきた『結論』なんですよ。比例で800万票取った政党が『我が党は帰化国籍を差別します』って言い切ったわけ。桜井誠が一番びっく… https://t.co/A7HjtAs30D"
            • ヒロミ、裏金は悪いけど… 「自民党ダメならどこ?」「選択が分からない」 - お笑い : 日刊スポーツ

              タレントのヒロミ(59)が13日、フジテレビ系「ワイドナショー」(日曜午前10時)に出演。自民党派閥裏金事件をめぐる「裏金議員」などについて、計12人を非公認とすると正式に決定した件に言及した。 10月9日までに発表されたのは、菅家一郎氏、中根一幸氏、小田原潔氏、細田健一氏、越智隆雄氏、今村洋史氏の安倍派6人。すでに非公認とされている萩生田光一元政調会長、下村博文元文科相、西村康稔元経産相、高木毅元国対委員長、三ツ林裕巳元副内閣相、平沢勝栄元復興相も合わせて計12人となった。 ヒロミは「岸田さんが処分したのを、また再び…なんだけど、線引きなどは僕らにはわからない」とした上で「確かに裏金は悪いんだけど、僕らは政権を決めないといけないわけだから、自民党がダメだったらどこなのかという選択がわからないというか、ないというか」と言及した。 MCの東野幸治も「裏金以外にも、消費税の問題や物価高の問題の

                ヒロミ、裏金は悪いけど… 「自民党ダメならどこ?」「選択が分からない」 - お笑い : 日刊スポーツ
              • 「氷河期世代つくらない」 パソナ、契約社員1千人募集:朝日新聞デジタル

                ","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 PC誘導枠5行 ★ここから -->\n<div class=\"p_infeed_list_wrapper\" id=\"p_infeed_list1\">\n <div class=\"p_infeed_list\">

                  「氷河期世代つくらない」 パソナ、契約社員1千人募集:朝日新聞デジタル
                • 安倍政権が「事実と異なる国会答弁」森友問題で139回:朝日新聞デジタル

                  森友学園への国有地売却をめぐる財務省の公文書改ざん問題で、安倍政権が2017~18年に行った国会答弁のうち、事実と異なる答弁が計139回あることが24日、衆院調査局の調べでわかった。その多くは、保存されていた記録や資料を「廃棄した」「残っていない」と繰り返すもので、野党側は「事実上の虚偽答弁」とみている。 衆院財務金融委員会で、調査を求めた立憲民主党の川内博史氏の質問に対し、衆院調査局が明かした。 対象となったのは、17年2月15日から18年7月22日までに、衆参の国会質疑で安倍政権が行った答弁。 衆院調査局は、財務省が18年6月にまとめた決裁文書改ざんに関する調査報告書と、会計検査院が同月に参院予算委に提出した報告に照らして、内容が異なる答弁を数えた。 最も多かったのは、国有地売却に絡み、財務省側が、森友学園や大阪府などと交渉・相談していた記録の存在についてだった。計71回も事実に反する

                    安倍政権が「事実と異なる国会答弁」森友問題で139回:朝日新聞デジタル
                  • はてなブックマークでは「山上による安倍元首相狙撃は殺人事件だけどテロではない」という意見が優勢らしい

                    読解力が低くて誤読してる人が多すぎるはてブユーザーが多すぎるので書いておくと、私は「テロだよ派」じゃなくて「どっちでもいいから統一教会何とかしろ派」「テロかテロじゃないかで必死になってるの馬鹿じゃね?派」です。 個人的にはテロは包括的な定義が不可能なので誰かが「これはテロだ」とか「テロではない」って断言できないと思ってたし「統一教会許さない」でさえあればどっちでもいいんだけど はてなの外ではどっちの意見が優勢なんだろう?

                      はてなブックマークでは「山上による安倍元首相狙撃は殺人事件だけどテロではない」という意見が優勢らしい
                    • 要件定義|3分で読める非機能要件について - Qiita

                      はじめに エンジニアのみなさま、日々の学習本当にお疲れ様です! また本記事まで足を運んでいただき本当に感謝です。 約3分程度で読めるので最後まで読んでもらえると幸いです。 要件定義関連の記事の投稿をしました。時間あればぜひ読んでみてください。 今回は「非機能要件」の 可用性 性能・拡張性 運用・保守性 移行性 セキュリティ システム環境・エコロジー の6項目について理解を深めてアウトプットしようと思います。 非機能要件|6項目について 1. 可用性 システムが継続して利用可能な状態を維持する能力を指します。『稼働率』 で表現されます。システムは定期メンテナンスや予期しない障害により、一時的に利用できなくなることがあります。可用性は、稼働している時間と停止から復旧までの時間の割合で決まります。たとえば、Amazonの「Amazon ECS」サービスは 『99.99%』 の稼働率を保証しており

                        要件定義|3分で読める非機能要件について - Qiita
                      • 「人種差別や性差別が嫌われている時代にあって、学歴偏重主義は容認されている最後の偏見なのだ」マイケル・サンデル『実力も運のうち 能力主義は正義か?』試し読み|Hayakawa Books & Magazines(β)

                        「人種差別や性差別が嫌われている時代にあって、学歴偏重主義は容認されている最後の偏見なのだ」マイケル・サンデル『実力も運のうち 能力主義は正義か?』試し読み マイケル・サンデル『実力も運のうち 能力主義は正義か?』鬼澤忍訳、ハヤカワ・ノンフィクション文庫 【試し読み】 容認されている最後の偏見イギリス、オランダ、ベルギーで行なわれた一連の調査で、社会心理学者のあるチームがこんな発見をした。大学教育を受けた回答者は、教育水準の低い人びとに対する偏見が、その他の不利な立場にある集団への偏見よりも大きいというのだ。この研究者チームは、高学歴のヨーロッパ人が、差別の被害者になりやすいさまざまな人びと──イスラム教徒、西欧に暮らすトルコ系住民、貧しい、太っている、目が不自由、低学歴といった人びと──にどんな態度をとるかを調べた。すると、教育水準の低い人びとがとりわけ嫌われていることがわかった。 アメ

                          「人種差別や性差別が嫌われている時代にあって、学歴偏重主義は容認されている最後の偏見なのだ」マイケル・サンデル『実力も運のうち 能力主義は正義か?』試し読み|Hayakawa Books & Magazines(β)
                        • 【全文公開】岸田派ホープ吉川赳・衆議院議員、18歳女子大生とパパ活飲酒 「俺、18歳に興味あるわ」「胸を見せて」高級ホテルで何があったのか

                          5月27日、東京・お台場の高級ホテルのフロントはひっそりと静まりかえっていた。一組の男女が姿を現わしたのは19時45分のことだった。紺色のスーツ姿の男と、その後ろにはミニスカートにニーハイソックスというファッションに身を包んだアイドル風の女性が距離を置いて歩く。2人はエレベーターで高層階まで上がると、「1236号室」に姿を消した──。 * * * スーツ姿の男は、吉川赳・衆議院議員(40)。岸田派に所属し、トップの岸田文雄首相から「我が派のムードメーカー」と評される自民党の若手議員だ。政治部記者が語る。 「岸田総理が誕生した総裁選で奔走した功労者の一人が吉川氏です。岸田首相からの信任も厚く、会食にもたびたび同席しています。昨年、岸田首相が就任後に岸田派の事務総長を務めた故望月義夫・元環境相の墓参りをした際にも、吉川氏は同行しています」 吉川氏の名が注目されたのは昨年10月の衆院選だった。地

                            【全文公開】岸田派ホープ吉川赳・衆議院議員、18歳女子大生とパパ活飲酒 「俺、18歳に興味あるわ」「胸を見せて」高級ホテルで何があったのか
                          • 知床の事故の話をしていたら夫が「みんなトンネルは崩れないし橋は落ちないと信じているだろうが、この先は自分で身を守るのが大事になるかも」と言っていた

                            ぽんたろう @kishijun152 うちでも知床の事故の話題が出て、法整備はもちろん、我々自身も危険を避けるための行動を取れるようでなければならないのかもしれない、と、なった。 そこで夫が「今、自分が危惧しているのはインフラ。みんな、トンネルは崩れないし、橋は落ちないと信じているでしょう」と。 2022-05-01 16:12:23 ぽんたろう @kishijun152 「道路も何もかも整備されているのが当たり前の世の中で、そんなことは考えないかもしれない。でも信用しすぎない方がいい。今のインフラの多くは作られてから40年以上経っている。多分だけど技術者の質も数も10年前くらいがピークで、徐々に人手が足りなくなるし技術力も落ちていく」 2022-05-01 16:12:23 ぽんたろう @kishijun152 「人手や予算がなければ保守にも手が回らないし見落としも出る。老朽化したままの

                              知床の事故の話をしていたら夫が「みんなトンネルは崩れないし橋は落ちないと信じているだろうが、この先は自分で身を守るのが大事になるかも」と言っていた
                            • 大臣辞任の山際前経済再生相 自民 新型コロナ対策本部長に就任 | NHK

                              旧統一教会との関係を批判され先月辞任した、山際・前経済再生担当大臣が、自民党の新型コロナ対策本部の本部長に就任し、ワクチン接種の推進などに取り組む考えを示しました。 政府の新型コロナ対策を担当していた山際・前経済再生担当大臣は、自民党の新型コロナ対策本部の本部長に就任し、2日の会合であいさつしました。 この中で「コロナと戦ううえで最大の武器と言ってもよいワクチンについて議論したい。ウィズコロナを維持するため、すべきことはたくさんあり、政府とともに取り組んでいきたい」と述べました。 会合では、オミクロン株に対応したワクチンを接種した人の割合が、およそ5%となっていることについて、政府の広報のしかたに問題があるのではないかという意見が出されました。 また、マスクの着用について「着用したままでは子どもの成長への影響が心配だ」などという声が挙がったことから、今後、議論していくことになりました。

                                大臣辞任の山際前経済再生相 自民 新型コロナ対策本部長に就任 | NHK
                              • IOC会長「どうか辛抱して」 日本国民に理解求める:朝日新聞デジタル

                                ","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 PC誘導枠5行 ★ここから -->\n<div class=\"p_infeed_list_wrapper\" id=\"p_infeed_list1\">\n <div class=\"p_infeed_list\">\n <div class=\"

                                  IOC会長「どうか辛抱して」 日本国民に理解求める:朝日新聞デジタル
                                • 速報!!安倍晋三前内閣総理大臣が統一教会系大規模イベントで演説、韓鶴子に敬意を表す

                                  9月12日、韓国の教団施設から全世界に配信された統一教会(天の父母様聖会世界・世界平和統一家庭連合)フロント組織『天宙平和連合(UPF)』の大規模集会に安倍晋三前内閣総理大臣がリモート登壇し、教団最高権力者・韓鶴子に阿る基調演説を行った。これまで多くの傍証によって教団との関係が取り沙汰されてきた安倍前首相だが、公の場で統一教会との関係が明らかとなったのは今回が初めてだ。 ◆トランプ前大統領が賛辞 安倍晋三が基調演説を行ったのは韓国の教団聖地・清平の清心ワールドセンターで9月12日午前9時半から開かれた『神統一韓国のためのTHINK TANK 2022 希望前進大会』なる大規模集会。教団のオンラインプラットフォームであるPeacelinkから全世界に配信された。 潘基文第8代国際連合事務総長が開会を宣言、他にソウル特別市・釜山市などの市長、忠清南道知事などの知事、欧州委員会委員長、グロリア・

                                    速報!!安倍晋三前内閣総理大臣が統一教会系大規模イベントで演説、韓鶴子に敬意を表す
                                  • 社会常識としての日経「たわわ」問題(追記済 - tikani_nemuru_M’s blog

                                    1 承前 b.hatena.ne.jp 国連女性機関(以降UN)と日経の件について、あまりにひどいことになっているので簡単にまとめておく。 UNは「アンステレオタイプアライアンス」という運動を行なっている。 これは男らしさ・女らしさなどの性別役割・性別イメージのステレオタイプ(型通りのきまりきった表現)を広告で使うのはもうやめよう、という趣旨の運動で国連機関の主導で行われている。 概要は以下の通り。 2017年にカンヌライオンズ 国際クリエイティビティ・フェスティバルにて発足したUnstereotype Alliance(アンステレオタイプアライアンス)は、UN Women(国連女性機関)が主導する、メディアと広告によってジェンダー平等を推進し有害なステレオタイプ(固定観念)を撤廃するための世界的な取り組みです。アンステレオタイプアライアンス日本支部は、2020年5月に設立されました。 企

                                      社会常識としての日経「たわわ」問題(追記済 - tikani_nemuru_M’s blog
                                    • 【1】安倍政権の7年余りとは、日本史上の汚点である - 白井聡|論座アーカイブ

                                      【1】安倍政権の7年余りとは、日本史上の汚点である 私たちの再出発は、公正と正義の理念の復活なくしてあり得ない 白井聡 京都精華大学人文学部准教授 安倍政権の7年余りとは、何であったか。それは日本史上の汚点である。この長期政権が執り行なってきた経済政策・社会政策・外交政策等についての総括的分析は、それぞれの専門家にひとまず譲りたい。本稿で私は、第二次安倍政権が2012年12月に発足し現在に至るまで続いたその間にずっと感じ続けてきた、自分の足許が崩れ落ちるような感覚、深い喪失感とその理由について書きたいと思う。こんな政権が成立してしまったこと、そしてよりによってそれが日本の憲政史上最長の政権になってしまったこと、この事実が喚起する恥辱と悲しみの感覚である。 この政権が継続することができたのは、選挙で勝ち続けたためである。直近の世論調査が示す支持率は30%を越えており、この数字は極端に低いもの

                                        【1】安倍政権の7年余りとは、日本史上の汚点である - 白井聡|論座アーカイブ
                                      • 「PCよりMacの方が社員の生産性や満足度が高い」とIBMが過去4年間のApple製品導入プログラムの成果を発表

                                        by StartupStockPhotos 過去の調査により、「仕事で使用する端末を従業員に選ばせると75%がiOS、72%がMacを選択する」ことが判明しています。そんな中、コンピュータ関連製品を提供しているIBMが実際に従業員が使用するPCをMacに切り替えたところ、従業員の生産性と満足度が大幅に増加したと報告しました。 IBM Announces Research Showing Mac Enables Greater Productivity and Employee Satisfaction at IBM | Jamf https://www.jamf.com/resources/press-releases/ibm-announces-research-showing-mac-enables-greater-productivity-and-employee-satisfact

                                          「PCよりMacの方が社員の生産性や満足度が高い」とIBMが過去4年間のApple製品導入プログラムの成果を発表
                                        • ソフトウェア設計についての原則や法則についてまとめてみた

                                          ソフトウェア設計について、YAGNIやSOLIDなど多くの原則・法則があることが知られていますが、その解釈にはぶれが存在することが多いです。そこで、特に有名なものあるいは有用と感じることが多いものをいくつかピックアップして、その解釈やトレードオフについてまとめてみました。 注意としては、SOLIDが入ってることからわかる通り、主にOOPに関する文脈になります。また、各原則の定義については概ね知っている前提で書いているのであまり初学者向けの記事ではないかもしれませんのでご承知おきください。 YAGNI(You ain't gonna need it.) YAGNIは、予測による実装が実際に役立つことは少ないという経験則から生まれた原則です。 一般にオーバーエンジニアリングが利益をもたらすケースは限定的で、どちらかというとプロジェクトに害を与えることが多いとされています。YAGNIは日々状況の

                                            ソフトウェア設計についての原則や法則についてまとめてみた
                                          • 「成長できる環境に身を置く」ことが本当のスタート。就活に失敗したニートからCTOになったエンジニアの話 - Findy Engineer Lab

                                            id:Songmuです。現在は、Nature Remoというスマートリモコンや、Nature Remo Eというスマートエネルギーハブなど、電力系のIoT製品を開発しているNature株式会社で取締役CTOを務めています。 サーバーサイドからインフラにかけてのソフトウェアエンジニアリングが得意領域で、ISUCONというコンテストで3回優勝したり、Mackerelというクラウド監視SaaSのプロダクトマネージャーを務めたりもしていました。PerlやGoを中心に、多くのツールやライブラリをGitHubに上げています。 今でこそCTOという立場にありますが、私はあまり、他人のお手本になるような人生を送ってきていません。「将来こうなりたい」といったしっかりとした長期目標を立てることもなく、その場その場で適当に、時には真面目に生きてきた結果が現在です。うまくいったこととて、多分に生存バイアスがあり、

                                              「成長できる環境に身を置く」ことが本当のスタート。就活に失敗したニートからCTOになったエンジニアの話 - Findy Engineer Lab
                                            • マンション修繕費問題地獄すぎる

                                              朝のニュース見て知っただけだが、あれは揉め事しか起きないな 単純な出費額の増加・インフレによる修繕費アップ ・修繕回数の法律変更による修繕費アップ という単純な出費額の増加がまず地獄 揉める要素が一生付きまう地獄・修繕するか否かを議決しないといけない ・いつか売るつもりの人と、永住する人で修繕の意識が違う ・住む階数によって修繕要望が違う これを多数決でなんとかするなんて軋轢が生まれないわけないよな ニュースでは、 修繕費アップしたい永住組vs修繕費少ないまま逃げ切りたい売るつもり組 最上階に雨漏りが発生したのですぐ直したい最上階組vs先延ばしにしたい下層組 などの対立が紹介されてたが想像するだけで悲惨 空き部屋問題が地獄空きがあるとその人の分の修繕費はみんなで負担しなきゃいけないんだな マンションという箱は維持しなきゃいけないから当たり前っちゃ当たり前だけど 空き部屋問題まで考えてマンシ

                                                マンション修繕費問題地獄すぎる
                                              • 橋本琴絵 on Twitter: "もし奥様が「産後うつ」を言い訳にして家事や育児を怠ったら怒鳴りつけて躾けましょう。私は産後3ヶ月で衆議院議員選挙を全力で駆け抜けました。 「産後うつ」は「甘え」です。"

                                                もし奥様が「産後うつ」を言い訳にして家事や育児を怠ったら怒鳴りつけて躾けましょう。私は産後3ヶ月で衆議院議員選挙を全力で駆け抜けました。 「産後うつ」は「甘え」です。

                                                  橋本琴絵 on Twitter: "もし奥様が「産後うつ」を言い訳にして家事や育児を怠ったら怒鳴りつけて躾けましょう。私は産後3ヶ月で衆議院議員選挙を全力で駆け抜けました。 「産後うつ」は「甘え」です。"
                                                • 自動テストに限界を感じた私がなぜ形式手法に魅了されたのか - 若くない何かの悩み

                                                  長らく自動テストとテスト容易設計を生業としてきましたが、最近は色々な限界を感じて形式手法に取り組んでいます。 この記事では、既存の自動テストのどこに限界を感じてなぜ形式手法が必要なのかの私見を説明します。なお、私もまだ完全理解には程遠いため間違いがあるかもしれません。ご指摘やご意見はぜひ Kuniwak までいただけると嬉しいです。 著者について プログラマです。開発プロセスをよくするための自発的な自動テストを支援する仕事をしています(経歴)。ここ一年は R&D 的な位置付けで形式手法もやっています。 自動テストの限界 自動テストとは 私がここ数年悩んでいたことは、iOS や Web アプリなどのモデル層のバグを従来の自動テストで見つけられないことでした。ただ、いきなりこの話で始めると理解しづらいと思うので簡単な例から出発します。 この記事でいう自動テストとは以下のようにテスト対象を実際に

                                                    自動テストに限界を感じた私がなぜ形式手法に魅了されたのか - 若くない何かの悩み
                                                  • Twitter で医師が拾われて Google のソフトウェアエンジニアになって 3 年半が過ぎました - nodchipの日記

                                                    はじめに 『天才』はつくれる 競技プログラミング同好会競技就活部門 Google は世界最高のプログラミングスクールである 雇用形態と働き方 ソフトウェアエンジニア (SWE) Google でのお仕事 Google の面接の内容 Google の面接の問題の種類 コーディングクイズ 知識を吐き出す系 Open-ended question システムデザイン Google の面接の評価基準と対策方法 知識 技能 マインドセット Google の面接のタブー Google の面接の心構え 面接官への話し方 話す量 エリート意識 自己愛 優秀さ、知識量に対するこだわり Google の面接のテクニック 入力条件を確認する 入力の条件を簡単にできるか交渉する テストケースを作って提示する 関連する知識を答える 正しく修正する 競技プログラミングと Google の面接 おわりに はじめに nuc

                                                      Twitter で医師が拾われて Google のソフトウェアエンジニアになって 3 年半が過ぎました - nodchipの日記
                                                    • 《スクープ映像入手》旧統一教会のフロント組織「勝共連合」会長が安倍元首相との“ビデオ出演”交渉の裏話を激白 | 文春オンライン

                                                      今回、筆者が入手した映像は、2021年10月17日に統一教会松濤本部・渋谷教会で行われた梶栗(かじくり)正義・UPF-Japan議長・国際勝共連合会長による日曜礼拝の説教「神のかたち」を収めたものだ。この映像の中で梶栗氏は、ひと月前の9月12日に韓国で開かれた「希望前進大会」に安倍氏がビデオ登壇した裏側を明かしていた。 梶栗氏の説教映像「元首相3人へもオファーした」 説教の冒頭、「去る9月12日の希望前進大会においてとんでもないサプライズがあった」と切り出した梶栗氏。彼は統一教会や国際勝共連合の会長を歴任した故梶栗玄太郎氏の長男で、UPF-Japan議長の他、国際勝共連合や世界平和連合の会長を兼任するエリート2世幹部だ。 「実際に9月12日以降、私たちは今後の信頼関係を守るためにいろいろと気を遣うのですが……」としながら、梶栗氏は本題に入った。 昨年夏ころ、各国首脳クラスのブッキングが決ま

                                                        《スクープ映像入手》旧統一教会のフロント組織「勝共連合」会長が安倍元首相との“ビデオ出演”交渉の裏話を激白 | 文春オンライン
                                                      • Nature に筆頭で出して、英国でパーマネントの職も得たけど、やりがいがなくなったので辞めます - biochem_fanのブログ

                                                        はじめに 専門家としてのアイデンティティ 分野の雰囲気の変化 コモディティ化と専門家の役割の低下 商業化・特許・ブラックボックス シェアの低下 計算資源の不足 新しい IT 技術を習得できない 小回りがきかない 同僚や分野の関心との乖離 他人事になってしまった 自分の存在意義を信じられない 今後の方針 可能性 1: 日本の電顕施設での解析支援とその問題 可能性 2: 電顕施設ではなく(生)化学系グループへ所属する 可能性 3: 仕事だと割り切って企業に行く おわりに 追記とコメント返信 変更履歴 はじめに 筆者*1は構造生物学(X 線回折と電子顕微鏡単粒子解析)のためのプログラム開発とデータ処理を専門としている。昨年、英国の研究機関にて任期なしの investigator scientist ポストに昇進し、Nature に筆頭著者として論文を出し、年間被引用数 1850 以上、h-ind

                                                          Nature に筆頭で出して、英国でパーマネントの職も得たけど、やりがいがなくなったので辞めます - biochem_fanのブログ
                                                        • 民主党政権を今さら振り返る - やしお

                                                          安倍首相の辞任表明とは無関係に、そういえば民主党政権ってどうだったっけと思って今月本を読んでみたのだった。 民主党政権 失敗の検証 - 日本政治は何を活かすか (中公新書) 作者:日本再建イニシアティブ発売日: 2013/09/21メディア: 新書 民主党が2012年末に下野した後、大学教授や弁護士らのプロジェクトメンバーが現役議員らにアンケートやヒアリングして、経済や外交など各分野ごとに民主党政権の来し方をまとめて2013年に出版されている。タイトルも「失敗の検証」だし、下野直後にまとめられていることもあって、どちらかというと成果より「どうして3年で崩壊してしまったのか」という内容になっている。 反面教師としての民主党政権 民主党の来歴(政権獲得まで) 民主党の来歴(与党時代) 民主党の来歴(政権を手放した後) 矛盾するアイデンティティ 党内ガバナンスの脆弱性 参院での不安定 マニフェス

                                                            民主党政権を今さら振り返る - やしお
                                                          • 細野豪志 on Twitter: "自民党のテロ対策会議に出た。なぜ防げなかったのか多々思うところがあるが、まずは銃弾を作れる爆発物をホームセンターやネットで買える現状を何とかせねば。国家の信頼を守るためにも再発は絶対に許してはならない。"

                                                            自民党のテロ対策会議に出た。なぜ防げなかったのか多々思うところがあるが、まずは銃弾を作れる爆発物をホームセンターやネットで買える現状を何とかせねば。国家の信頼を守るためにも再発は絶対に許してはならない。

                                                              細野豪志 on Twitter: "自民党のテロ対策会議に出た。なぜ防げなかったのか多々思うところがあるが、まずは銃弾を作れる爆発物をホームセンターやネットで買える現状を何とかせねば。国家の信頼を守るためにも再発は絶対に許してはならない。"
                                                            • 教団総裁「日本は賠償を」 政治家批判、反発あらわ | 共同通信

                                                              Published 2023/07/03 16:23 (JST) Updated 2023/07/04 12:31 (JST) 世界平和統一家庭連合(旧統一教会)の教団トップの韓鶴子総裁が6月末、教団内部の集会で「日本は第2次世界大戦の戦犯国家で、罪を犯した国だ。賠償をしないといけない」「日本の政治は滅ぶしかないだろう」と発言していたことが3日、関係者への取材や音声データで分かった。 教団側は6月中旬までに、年間数百億円にも上るとされる日本から韓国への送金を今後も取りやめると説明していたが、トップが依然、韓国への経済的な見返りを正当化したことになる。日本で教団への批判が相次ぎ、政治家との接点が問題視されたことについても反発をあらわにしていた。

                                                                教団総裁「日本は賠償を」 政治家批判、反発あらわ | 共同通信
                                                              • 東京五輪公式記録映画・河瀬直美監督 撮影中の暴行でカメラマンが降板 | 文春オンライン @KawaseNAOMI

                                                                映画監督の河瀬直美氏(52)が、撮影中にスタッフの腹を蹴り、その結果、撮影監督とスタッフらが作品を降板する事態が起きていたことが「週刊文春」の取材でわかった。 “事件”が起きたのは、映画「朝が来る」の撮影現場 河瀬監督は1997年、「萌の朱雀」でカンヌ国際映画祭カメラ・ドール(新人監督賞)を受賞。2007年には「殯の森」で、同映画祭の最高賞に次ぐグランプリを受賞するなど、日本を代表する映画監督のひとりだ。公的活動も多く、東京五輪公式記録映画の総監督を務め、25年開催予定の大阪・関西万博においてはプロデューサーのひとりに就任している。

                                                                  東京五輪公式記録映画・河瀬直美監督 撮影中の暴行でカメラマンが降板 | 文春オンライン @KawaseNAOMI
                                                                • 【追記あり】大会組織委員会の森喜朗会長謝罪表明「東京2020大会と男女共同参画(ジェンダーの平等)について」は日本語版と英語版とで看過できない差があります - illegal function call in 1980s

                                                                  公開後の追記(3:00-9:00の間→緑色) この記事は、「これはなぜかな」「どうしてなのだろう」という素朴な疑問に端を発したものにすぎません。末尾の「付随的な考察(7:00頃追記)」もよろしければ。少しだけ議論の深まりを期待します。 出典 東京2020大会と男女共同参画(ジェンダーの平等)について Tokyo 2020 and Gender Equality 魚拓 【魚拓】東京2020大会と男女共同参画(ジェンダーの平等)について 【魚拓】Tokyo 2020 and Gender Equality 今北三行要約 大会組織委員会の森会長謝罪表明(「東京2020大会と男女共同参画(ジェンダーの平等)について」)は日本語版と英語版とで看過できない差があることがわかりました。末尾1/3辺りから大づかみにまとめてありますので、お急ぎの方はGO TOそちらで。 段落別対比 1 (組織委原文/日)弊

                                                                    【追記あり】大会組織委員会の森喜朗会長謝罪表明「東京2020大会と男女共同参画(ジェンダーの平等)について」は日本語版と英語版とで看過できない差があります - illegal function call in 1980s
                                                                  • 【Python】良い書き方と悪い書き方を知って中級者を目指す🐍 - Qiita

                                                                    Pythonでコードを書くときのGood/Badプラクティス こちらの記事は、DuomlyによりDev.to上で公開された『 Good and Bad Practices of Coding in Python 』の邦訳版です(原著者から許可を得た上での公開です) 元記事:Good and Bad Practices of Coding in Python ※ 記事の内容に注意すべき点と誤りがあるので、詳しくは注釈まで目を通すことをおすすめします。 (以下、翻訳した本文) この記事は元々 https://www.blog.duomly.com/good-and-bad-practices-of-coding-in-python/ に公開されたものです。 Pythonは可読性を重視した高水準のマルチパラダイムプログラミング言語です。Pythonは、「Pythonの禅」、別名ではPEP 20と

                                                                      【Python】良い書き方と悪い書き方を知って中級者を目指す🐍 - Qiita
                                                                    • ブラックフライデー&サイバーセール開催! Udemyでは何を買う? 編集部の2021年イチ押しトピック10選 - はてなニュース

                                                                      新型コロナウイルスの影響で、リモートワーク(テレワーク)やオンラインでの学習といった働き方・学び方の大きな変化は2021年も続いています。そんな2021年もあとわずか。やり残したことや学び残したことはありませんか? オンライン学習プラットフォーム「Udemy」では、2021年11月19日(金)~2021年12月1日(水) の間、年間最大のセール「ブラックフライデー&サイバーセール」 を開催します! 対象の講座がなんと1,200円から購入可能になります。 ブラックフライデーセールは11月19日(金)~11月26日(金)、サイバーセールは11月29日(月)〜12月1日(水)の開催です。11月27日(土)〜11月28日(日)はセール対象外なので、ご注意ください。 講座は買い切りなので、おトクなこの期間に気になる講座を購入しておいて、時間ができたときに自分のペースで学んでみるのもいいかもしれません

                                                                        ブラックフライデー&サイバーセール開催! Udemyでは何を買う? 編集部の2021年イチ押しトピック10選 - はてなニュース
                                                                      • 「普通の人でいいのに!」 あがけばあがくほど少しずつ沈んでいく自意識のアリ地獄を描いた作品 - 頭の上にミカンをのせる

                                                                        普通じゃない、と断じられたチエミに教えたかった。どの普通にも、どの娘にも、正解はない。(ゼロ、ハチ、ゼロ、ナナ) 普通の人でいいのに! - 冬野梅子 / 【読み切り】普通の人でいいのに! | コミックDAYS 読みました。 togetter.com 自分の感想は置いといて、要約としてこのコメントが素晴らしいなと思った。 「一見普通っぽくてめちゃくちゃ面倒な女」を丁寧に描く漫画『普通の人でいいのに!』が色んな意味でしんどすぎて話題に - Togetter 才能はないがファンの立場では満足できないワナビーが、界隈の搦手から人間関係に入り込んだけど余計に劣等感に苛まれ続けて壊れるやつ。内心バカにしてた男に最後のプライドを無邪気に破壊される描写はエグい。2020/07/31 09:44 それと、併せてこのコメントを合わせて読むとなんとなく納得できる感じ。 たぶん私ここで描かれてるのと似たような界隈

                                                                          「普通の人でいいのに!」 あがけばあがくほど少しずつ沈んでいく自意識のアリ地獄を描いた作品 - 頭の上にミカンをのせる
                                                                        • 旧統一教会関連団体トップに問う 教会と政治、安倍元首相との関わり - クローズアップ現代

                                                                          https://www.nhk.jp/p/gendai/ts/R7Y6NGLJ6G/blog/bl/pkEldmVQ6R/bp/pNnj4kdxEN/ 「UPFジャパン」と聞いて、すぐにどのような団体か理解できる人がどれだけいるだろうか。 一方で、そのUPFは「安倍晋三元首相がビデオメッセージを送った団体」といえば、理解できる人は多くいるはずだ。UPFは世界平和統一家庭連合(旧統一教会)の友好団体であり、これまで旧統一教会は、「友好団体は別の組織として独立して活動している」との見解を示してきた。いずれも文鮮明氏が創設し、その一体性が指摘されているが、実態はどうなのか?そして、なぜ安倍氏はUPFにビデオメッセージを送ることになったのか。 そのUPFジャパンのトップ、梶栗正義氏が初めてテレビのインタビューに応じた。クローズアップ現代担当プロデューサーとの、90分に及ぶインタビューから見えてきた

                                                                            旧統一教会関連団体トップに問う 教会と政治、安倍元首相との関わり - クローズアップ現代
                                                                          • RPAで疲れ果てた

                                                                            物流会社の事務員なんだけど会社がRPAツールを導入するってんで定型作業を自動化しろって話しでRPAプログラミングをやらされてたんだわ。 それで色々クソな点があったのでシェアします。 1、実務の合間にやらないといけない マネジメントの問題でもあるけど、そういうことなんだよな。 現場がクソ忙しい時に悠長にデバッグとかやってられん。あとデバッグみたいな作業は見た目何もしていないように見えるからここぞとばかりに仕事振られたりする。 2、本番環境とか開発環境とかない。ぶっつけ本番で稼働→失敗→デバッグを繰り返さないといけない。 これは自動化する仕事によると思うんだけど、実際に現場で使うデータをRPAプログラムに投入しないとそもそも要件がわからないことがある。データの特性というか、物流事務なんかだと8割がシステム化されているけど2割は荷主や配送先のわがままで特徴的なデータの不備があって、それに対応する

                                                                              RPAで疲れ果てた
                                                                            • 【解決済み】知念実希人さんによる国籍差別発言に関連して|李琴峰

                                                                              ★★★ 本件は既に当事者間で和解に至り、解決済みとなりました。 ★★★ 2021年9月8日、作家の知念実希人さんは私のツイートを引用RTする形で、以下の国籍差別的なツイートをしました。 知念さんはこのツイートで、私のTwitterでの発言を「露骨」な「政治活動」と表現し、更には「外国籍の作家」と強調しています。これは「外国籍の人は(たとえ日本で生活していても)日本の政治について発言するな」という、明らかな国籍差別です。 この点について、既に以下のツイートで抗議しています。 実は、知念さんが私に言及するツイートをするのは、これが初めてではありません。 9月5日午前、知念さんは以下のツイートを発表した。 このツイートで知念さんは、私のことを「他人の難病を揶揄する人間」と表現しました。 しかし、すでに何回も釈明した通り、私は安倍さんの難病を揶揄したことがありません。これは一部のアンチによる悪意的

                                                                                【解決済み】知念実希人さんによる国籍差別発言に関連して|李琴峰
                                                                              • エンジニアの技術土台となる知識を得るための本の紹介 - Qiita

                                                                                はじめに の参加記事になります。 個別の技術ではなく、エンジニアの成長のステップで読むと良い本の紹介 エンジニアとして成長していくときに、個々の技術を深く理解し使いこなしていくことは必要ですが、個々の技術を選ぶときにもどんな成長ステップがあるかを理解することも重要です。 実装をするという範囲をエンジニアの中心なのはありますが、実装以外の部分を理解するとその技術が最大限に活きるのかを理解するには周辺についても理解していく必要があります。そこで、実装を始める前の構造のパターン、実装を進めるエンジニアの環境などを知ることで、もっと効率的な開発が出来るようになるのかを理解していきたいけると良いと考えています。 この記事では私が経験した中でより良いWebシステムを作るという観点に立ったときに、広く理解しておくと良いと感じた本を紹介します。 これからエンジニアリングでどのような勉強をすればよいかを考え

                                                                                  エンジニアの技術土台となる知識を得るための本の紹介 - Qiita
                                                                                • 「新海誠が好きだった元カレ」がいた人々にインタビューしてみた|ペシミ

                                                                                  文化系女子と喋るとだいたい「新海誠が好きだった元彼」という謎の共通項が浮かび上がるのですが、世の文化系女子はみんな一度は新海誠好きな男子と付き合ったことがあるのでしょうか…………?????新海誠元彼、同一…人物なのか……?ってくらいみんな似てる — 三宅香帆|『それを読むたび思い出す』発売 (@m3_myk) February 18, 2022 「秒速五センチメートルが好きだった元彼」、みんな長文LINE送ってくる、なぜ? — 三宅香帆|『それを読むたび思い出す』発売 (@m3_myk) February 18, 2022 「新海誠が好きだった元彼」を調べることは、新海作品好きである男性の特徴を理解するのにも役立ちます。そう、つまりは我々の当事者研究です。 今回は、「新海誠が好きだった元カレ」がいた人をTwitterで募集し、協力して頂いた方々に9の質問をさせて頂きました。まずは、ご協力頂

                                                                                    「新海誠が好きだった元カレ」がいた人々にインタビューしてみた|ペシミ