並び順

ブックマーク数

期間指定

  • から
  • まで

201 - 240 件 / 3760件

新着順 人気順

監視の検索結果201 - 240 件 / 3760件

  • ノーコードは形を変えた現代のRPGツクールなのではないか

    この記事について。 2030 年 「エンジニアです。コードは書けません。」|__shinji__| note 自分はそもそもビジュアルプログラミングやオーサリングに興味があり、ノーコードは興味の範疇でありつつも、現状のもの、現状の「コード抜きで作れる」ような謳い文句は厳しいと思っています。それを、RPG ツクールを例に説明します。 はじめに、ノーコードを分類する 本記事では、「専用の管理画面で編集し、出力のためにコードを書かない、もしくはコピペ程度」のものをノーコードとして扱います。 その中でさらに種類ごとに分類してみます。このような定義があるわけではなく、自分の主観的で暫定的な分類です。 タイプ 1: データベースから自動的にフォームを生成 Google App Sheet MS Power Apps タイプ 2: 高水準 API のパイプライン Zapier IFTTT 古の Yaho

      ノーコードは形を変えた現代のRPGツクールなのではないか
    • この個人サイトは自作OSで動いています

      追記 (2022 5/29): サーバ代をケチるべくVercelに移行しました。動いていたソースコードは ココ に置いてあります。 あなたの予想に反して、このページが見えているでしょうか?このWebサイトは自作OSのKerlaが提供しています。 これは自作OS Advent Calendar 2021の23日目の記事です。 自作OS「Kerla」の紹介 Kerla(かーら)はRustで書かれたLinux ABI互換モノリシックカーネルです。今年の春頃から作り始め、DropbearというSSHサーバが動作する程度には基本的なUNIXの機能が実装されています。具体的には、ファイルの読み書きやUDP/TCPソケット、fork/exec、シグナル、擬似端末といったものです。 カーネル実装の雰囲気を軽く紹介すると、Kerlaでは以下のようにシステムコールが実装されています。 /// write(2)

        この個人サイトは自作OSで動いています
      • 政治資金の不正を公開情報から解き明かしてみませんか?あなたもできる調査報道マニュアル|NHK取材ノート

        ウォーターゲート事件の内幕を描いた映画「大統領の陰謀」(1976)の一場面に、ワシントン・ポストの記者と、「ディープ・スロート」と呼ばれる情報提供者との印象的なやりとりがあります。 互いの表情もはっきりしない薄暗い駐車場で、事件の核心に早くたどり着きたいと焦る記者に、ディープ・スロートは短くこう告げます。 “Follow the money.”(カネの流れを追え) 「大統領の陰謀」「カネ」が政治権力の重要な資源であり、その流れを追うことが政治的現象の理解に資することは、昔も今も変わりません。 現在、政治資金パーティを巡る不透明な「カネ」のやりとりが問題になっていますが、私が政治にまつわる「カネ」を調べるきっかけになったのは、島根県議会の「政務活動費」の取材でした。 県議会のベテラン議員が不正な工作によって140万円を受け取っていたことを明らかにし、報道の翌日に議員が辞職という事態になりまし

          政治資金の不正を公開情報から解き明かしてみませんか?あなたもできる調査報道マニュアル|NHK取材ノート
        • 「12歳女子」の釣りアカウントに届いた2458件の友達申請 児童の性的搾取を暴くリアリティショー「SNS 少女たちの10日間」レビュー

          「チェコでは、親からの制限を受けずにインターネットを利用する60%の児童のうち、約41%が他人から性的な画像を送られた経験を持つ」――。 そんな衝撃的なテロップから始まる映画「SNS 少女たちの10日間」は、3人の小柄な女優がそれぞれ12歳の少女を演じ、児童性的虐待の温床となっているSNSの実態を探るという非常に攻めたドキュメンタリーだ。彼女たちに届いた“友達申請”は検証を行った10日間で2458件。チェコ産のドキュメンタリーという、なかなかなじみのない作品でありながら、そのセンシティブな内容が世界中で話題を呼び、日本でも注目が高まっている。 本作は、児童性的虐待の実態を直接的にあぶり出して見せた衝撃作であり、その加害者たちを滑稽(こっけい)なエンターテインメントとして昇華させた問題作でもある。一足先に鑑賞できたので、胸糞悪くも目が離せない、その魅力を紹介したい。 画像は予告編より 12歳

            「12歳女子」の釣りアカウントに届いた2458件の友達申請 児童の性的搾取を暴くリアリティショー「SNS 少女たちの10日間」レビュー
          • 「ガチャ情報公開義務化」で,韓国ゲーム業界に激震。「実は確率0%」や「確率差8倍」など多様な問題が発覚するも,積極的な対応で信頼回復を目指す

            「ガチャ情報公開義務化」で,韓国ゲーム業界に激震。「実は確率0%」や「確率差8倍」など多様な問題が発覚するも,積極的な対応で信頼回復を目指す ライター:GAMEVU編集部 下記の記事は,GAMEVU(→リンク)に掲載された記事を,許可を得て翻訳したものです。可能な限りオリジナルのまま翻訳することに注力していますが,一部日本の読者の理解を深めるために,注釈を入れたり,本文や画面写真を追加したり変更したりしている箇所もあります。(→元記事) 韓国のゲーム利用者を保護するための「確率型アイテム情報公開義務化制度」が,施行から1か月を迎えた。 韓国政府は,ゲーム産業振興に関する法律第33条第2項及び同法施行令第19条第2項による,確率型アイテム情報公開義務化制度を,2024年3月22日から施行させている。 実は過去にも,このような内容を盛り込んだ法案が発議されたことはあった。以前から,確率型アイテ

              「ガチャ情報公開義務化」で,韓国ゲーム業界に激震。「実は確率0%」や「確率差8倍」など多様な問題が発覚するも,積極的な対応で信頼回復を目指す
            • 大阪駅の萌え絵ポスター、憲法解釈論では「問題なし」 平弁護士と考える「表現の自由」 - 弁護士ドットコムニュース

              立憲民主党の前衆院議員・尾辻かな子氏のツイート投稿で話題となったJR大阪駅のポスター。対戦型麻雀ゲーム『雀魂』(じゃんたま)とテレビアニメ『咲-Saki-全国編』のコラボ広告だったが、一部ネット上では「性的だ」という声があがり、ジェンダー論や憲法論にとどまらず、燃え広がった。 今回の「萌え絵」をめぐる議論について、行政事件や憲法訴訟に取り組む平裕介弁護士に聞いた。 ●広告の「表現の自由」>「見たくないものを見ない自由」 ――今回の広告は「法的」に問題があるのか? 法的に問題はありません。問題となった広告は、刑法175条のわいせつ文書にも、自治体の青少年保護育成条例のわいせつ文書にも、いわゆる児童ポルノ規制法の児童ポルノにも該当しないことは明らかです。 また、電車内の広告放送に関する判例「とらわれの聴衆」事件判決(最高裁判所第三小法廷昭和63年12月20日判決)に照らすと、広告を見たくない人

                大阪駅の萌え絵ポスター、憲法解釈論では「問題なし」 平弁護士と考える「表現の自由」 - 弁護士ドットコムニュース
              • アップル共同創業者スティーブ・ウォズニアックが暴露「ネットが存在する前の時代に戻りたい」(クーリエ・ジャポン) - Yahoo!ニュース

                信じ難いが、本当だ。「アップル」の共同創業者スティーブ・ウォズニアックは午前中、一度も携帯電話を見なかった。2度ほど、時間を確認するかのように手首を動かしはした。少し“カンニング”したのかもしれないが、それでも携帯電話そのものをポケットから出すことはなかった。 【画像】 若かりし頃のジョブズとウォズニアック 70年代末のギークで、世界初のパーソナルコンピュータを開発したとされ、スティーブ・ジョブズと仲違いするまでは親友で、かつてSFだった世界を日常にした技術革新の立役者の一人。その人物が、2時間あまり携帯電話を見ずに過ごしたのだ。 「ボトルから直接飲むよ」と言って水をオーダーしたウォズニアックは、物腰の柔らかな人物だ。 孤独で内気で、周囲に理解されにくい子供だったという彼は、人ごみが嫌いだ。大勢の人がいる場所は避けるという自らの習慣を、これまで一度だけ破ったことがある。それは、ミラノでコー

                  アップル共同創業者スティーブ・ウォズニアックが暴露「ネットが存在する前の時代に戻りたい」(クーリエ・ジャポン) - Yahoo!ニュース
                • なぜ脱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が増えているのか?
                  • 当社管理サーバーのアクセス履歴について - PayPayからのお知らせ

                    追記: アクセスされた可能性のある最大件数については、詳細な調査分析により2,101件であったことが判明しております。 詳細は下記をご確認ください。 管理サーバーへのアクセス履歴の調査結果について(2021年5月7日) https://paypay.ne.jp/notice-merchant/20210507/01/ 2020年12月1日に外部からの連絡に基づき、当社管理サーバーにある、加盟店に関する営業情報のアクセス履歴について調査したところ、11月28日にブラジルからのアクセス履歴を1件確認、12月3日までに遮断する措置を実施しました。現時点で、これらの情報が利用された事実はありません。なお、ユーザー情報は別のサーバーで管理しているため、本事象における影響はありません。 <アクセスされた可能性のある情報> (1)加盟店の店名、住所、連絡先、代表者名、代表者生年月日、契約日、売上振込先、

                      当社管理サーバーのアクセス履歴について - PayPayからのお知らせ
                    • 機械学習システムの設計パターンを公開します。

                      メルカリで写真検索とEdge AIチームに所属している澁井(しぶい)です。機械学習のモデルを本番サービスに組み込むための設計やワークフローをパターンにして公開しました。 GithubでOSSとして公開しているので、興味ある方はぜひご笑覧ください! PRやIssueも受け付けています。私の作ったパターン以外にも、有用なパターンやアンチパターンがあれば共有してみてください! GitHub:https://github.com/mercari/ml-system-design-pattern GitHub Pages:https://mercari.github.io/ml-system-design-pattern/README_ja.html なぜ機械学習システムのデザインパターンが必要なのか 機械学習モデルが価値を発揮するためには本番サービスや社内システムで利用される必要があります。そのた

                        機械学習システムの設計パターンを公開します。
                      • 40代プログラミング初心者がpython始めて半年!独学で勉強が続いている理由と読んだ本 - Qiita

                        下で最新版に記事を編集しましたブログを作ったよ ツイッターアカウントフォローお願いします https://twitter.com/usagipycom こんな記事も書いてます 友達がpythonでPCゲームのレベル上げツールを作っていた それを聞いて、pythonって便利なのね。と思いその後色々あってプログラミングを勉強することにした プログラマー35歳までみたいな世の中で40代おそすぎ!ってあるかもしれない PCがあって、無料の教材はネットに転がってるし、本もたくさんあるし、挑戦するのは無料だし2022年の1月ぐらいから勉強を始めた 入門書って成果物がないからつまらないなと思ってそれ以外になんかないかなって本屋さんをふらふらしてたら python自動化 みたいな書籍がいっぱいあることに気がついた なるほど、もしかしたら仕事楽になるんじゃないかそんな思いから次の本を買った シゴトがはかどる

                          40代プログラミング初心者がpython始めて半年!独学で勉強が続いている理由と読んだ本 - Qiita
                        • 社会常識としての日経「たわわ」問題(追記済 - tikani_nemuru_M’s blog

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

                            社会常識としての日経「たわわ」問題(追記済 - tikani_nemuru_M’s blog
                          • システムの複雑さはどこから来るのか – Out of the tar pitを読む - Uzabase for Engineers

                            Uzabase Saas Product Divisionフェローの矢野です。 この記事は、Rich Hickey(プログラミング言語Clojure作者)のプレゼンテーションSimple Made Easyへと繋がっていく、Ben MoseleyとPeter Marksによる「Out of the tar pit」というシステム設計について論じた論文の内容について説明したもので、ユーザベースのSaas Productでのテック発表の一つとしてプレゼンしたものを、ブログとして再度まとめたものです。プレゼン自体は25分くらいでしたので、おそらくこの記事の方がプレゼンよりも詳しいと思います。 ソフトウェア危機 ソフトウェアは本質的に複雑 ソフトウェアの複雑さはどこから来るのか? 複雑さは、別の複雑さを産む 複雑さを分類する 本当に必要な複雑さと、そうでないものがある どうやって複雑さを扱うのか

                              システムの複雑さはどこから来るのか – Out of the tar pitを読む - Uzabase for Engineers
                            • エンデミックに至る過程で予想される大量の高齢者の死 今が未来を変えるラストチャンス

                              これはこの研究の著者が、さまざまな高齢国をシミュレーションしてくれたグラフです。灰色のラインが免疫持続期間が3ヶ月の場合です。 赤で囲ってあるのが日本ですが、ここで分析している国々の中で最も多い死亡者数になっています。 日本は超高齢国として知られていますが、極めて厳しい状態です。しかもこの状況がずっと持続する。 エンデミック化した時の介護の現場がどうなるだろうと想像してみて下さい。コンスタントにクラスターが発生するでしょうし、その機会に利用者の人たちにお迎えが来てしまうでしょう。そういうことを繰り返さざるを得ない社会が来ます。 ハイリスクの場とは言え、面会の制限など極端に厳しい感染予防もどこかで諦められると思います。社会としてコロナを皆さんで受け入れることになるので、感染頻度もこれまでよりも高くなります。 命を守りながら進むこともできる——しかし日本では高齢者は予防接種率が非常に高いです。

                                エンデミックに至る過程で予想される大量の高齢者の死 今が未来を変えるラストチャンス
                              • IT客先常駐

                                寝れないので、IT業界の客先常駐について書こうと思う。 客先常駐は辞めとけ客先常駐は辞めとけ。よく言われることです。 でもITには未経験だと客先常駐くらいしか無いのです。経験者でも客先常駐しかないのに未経験だと尚更。 私はそこそこ有名な大学の院卒で、27の時に他業界からIT業界に入ったけども、普通に書類選考で落とされてました。最終的に微妙な企業2〜3社しか面接まで行けませんでした。 当時は何も考えてなくて、とりあえず経験を積みたい、と採用してくれた企業に入社しました。年収300万で。ちなみに前職だと年収420万だったからめちゃくちゃ下がりました。 そこそこの学歴で、しかもバリバリの理系でも、未経験だとやはり採用してくれる企業は少ないんです。 ちなみに転職した時は30歳でしたけど、未経験の時に比べて書類選考の通過率はとても高かったです。 客先常駐のここが嫌だ給料が安い安いんですよ、月収20万

                                  IT客先常駐
                                • 8月23日のAWSの大規模障害でMultiAZでもALB(ELB)が特定条件で500エラーを返すことがあったという話 - Make組ブログ

                                  このブログ記事で 「MultiAZ」にしていたら何事も全て大丈夫という認識を変えられると嬉しいです (当該の時点で障害起こした人はちゃんとMultiAZにしてなかったんでしょ?という人の認識も変えられると嬉しいです)。 MultiAZにしておくことは基本 です。 その上でも、 安心しきらずに監視は必要 という話をしています。 MultiAZ構成にしておきましょう そのうえで監視、検知、トレーサビリティを大切にしましょう MultiAZ要らないという見当外れの解釈はしないでください (一部、間違えた解釈をしてるコメントも見受けられましたが、大いに違います)。 前提 2019-08-23、AWSで大規模な障害が起こりました。 障害の一般的な内容は以下のとおりです。 まとめのブログ https://piyolog.hatenadiary.jp/entry/2019/08/23/174801 AW

                                    8月23日のAWSの大規模障害でMultiAZでもALB(ELB)が特定条件で500エラーを返すことがあったという話 - Make組ブログ
                                  • 著名経済学者が紹介しない、金融機関が儲からない&投資残高が激増している金融商品 - 斗比主閲子の姑日記

                                    はい、eMAXIS Slimシリーズです。 今年2月には投資信託の残高ランキングで、『eMAXIS Slim 米国株S&P500』が初めてインデックス型として首位を奪うぐらい、人気です。売り買いで手数料はかからず、手数料は信託報酬の年間0.09372%だけです。ちなみに、第三位になっている『eMAXIS Slim 全世界株式(オール)』の信託報酬は0.05775%。 投資信託の残高ランキング インデックス型が首位奪う - 日本経済新聞 合わせて4兆円の残高(=投資家による投資総額)ですが、運用している三菱UFJ国際投資にとっては売上20~30億円程度で、全然儲かっていません。 本日の記事は以上です。以下は、余談です。お好きな人だけどうぞ。 余談 こんな記事を読みました。 新NISAが始まっても投資に手を出してはいけない…経済学者が「老後に備えるならコレ」と唯一勧める金融商品【2023上半期

                                      著名経済学者が紹介しない、金融機関が儲からない&投資残高が激増している金融商品 - 斗比主閲子の姑日記
                                    • 私のセキュリティ情報収集法を整理してみた(2022年版) - Fox on Security

                                      新年あけましておめでとうございます。毎年年頭に更新している「私の情報収集法」を今年も公開します。何かの参考になれば幸いです。 インプットで参照している情報源(海外) 海外からの攻撃が主流となる中、海外情報をいち早く把握する事の重要性が増しています。去年に引き続き、今年も絶対外したくない海外サイトからご紹介します。 サイト キタきつね寸評 1位 morningstar SECURITY 不動の1位です。ジャンルの広さ、情報の更新頻度、関連ソースの網羅性など、英語系のセキュリティニュースとしては群を抜いた、最良のまとめサイトです。 私は「Daily Security News(最も人気のあるセキュリティニュース)」(一番上)と「Security Blogs(セキュリティブログ)」(下から3つ目)を主にチェックしていますが、人によって興味が違うかと思いますので、「Malware/APT」「Exp

                                        私のセキュリティ情報収集法を整理してみた(2022年版) - Fox on Security
                                      • (続)妻が統合失調症になった

                                        こちらを書いたものです。 https://anond.hatelabo.jp/20210104114710 皆様の温かいコメント大変身に沁みます。ありがとうございます。 嘘松というコメントもありますが、実際に起こった出来事です。以下コメントへの返信です。 アカジシアは薬の副作用で起こるのではないでしょうか?妻は統合失調症になった際に明らかに落ち着きがないように見えましたので、これをアカジシアと呼んでしまいました。通常アカジシアとは薬の副作用で起こるものなのですね。私の理解不足でした。申し訳ありません。病院の待合室で普段は行わない貧乏ゆすりとか立ち座りとか落ち着きないような動作があったのは事実です。 なぜ入院させないのか?妻は外国籍であり日本語が不自由なため、入院させるのは難しいと判断したからです。医師からも英語対応の病院はあまりないとの回答で、妻に合う病院を探す時間もないことから自分で見る

                                          (続)妻が統合失調症になった
                                        • コロナ禍 → リモートワークをきっかけに、趣味も仕事も楽しめる欲張りな家を建てた【エンジニア、家を建てる】 - MY HOME STORY │スーモカウンター注文住宅

                                          職業柄、「よりよいもの」や「よりよい環境」を求める方が多いエンジニア。そんなエンジニアの「家づくり」にはきっと、さまざまなこだわりが詰め込まれているはず。 注文住宅を選んだエンジニアに登場いただく「エンジニア、家を建てる」。第2回はrela1470(渡辺 淳)さんに寄稿いただきました。 rela1470さんが注文住宅を購入したのは、新型コロナウイルスの感染拡大でリモートワークがメインとなったことがきっかけ。ワークスペースはもちろんのこと、サウナルームや防音室なども導入し「仕事」と「趣味」どちらもとことん楽しめる空間を手に入れました。 東京・表参道の株式会社KyashというFintech企業で、コーポレートエンジニアをしているrela1470と申します! 2021年5月、茨城県取手市に念願の一戸建てを手に入れ、妻と2人で楽しく暮らしています。 業務内容にいわゆる情シス業が含まれているため少な

                                            コロナ禍 → リモートワークをきっかけに、趣味も仕事も楽しめる欲張りな家を建てた【エンジニア、家を建てる】 - MY HOME STORY │スーモカウンター注文住宅
                                          • 性犯罪を行わない善良な男が「性差別や性暴力の話になるとケンカになる問題」について解説する (追記あり)

                                            「性差別や性暴力の話になるとケンカになる問題」を読んだ。 https://www.gentosha.jp/article/16300/ ブコメでは様々な反応があったが、この手の話題でお互いに理解が得られないのには理由がある。 「そもそも自分が加害者だと思っていない」からだ。だって実際に性犯罪したことないんだから当たり前だ。 「社会の構造がそうなっている」ことを責められても「いや俺にどうしようもないだろ」となるのは当たり前なのだが、この感覚を女性が理解することは難しい。 ほとんどの女性はこの手の話題に囚われるとき、視野狭窄になっている。簡単に言えば「私は被害者モード」だ。 そのため、この手の話題を振られたときの男性の気持ちを理解する例題を用意する必要がある。 アルテイシア氏の旦那さんのように、ほとんどの男性は善良な一市民である。彼らと女性たちは本来は共闘すべき仲間なのだ。相互理解の第一歩を踏

                                              性犯罪を行わない善良な男が「性差別や性暴力の話になるとケンカになる問題」について解説する (追記あり)
                                            • 「成長できる環境に身を置く」ことが本当のスタート。就活に失敗したニートから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
                                              • 塩つぶサイズのチップを注射で埋め込み 超音波で電力供給と無線通信実現

                                                Innovative Tech: このコーナーでは、テクノロジーの最新研究を紹介するWebメディア「Seamless」を主宰する山下裕毅氏が執筆。新規性の高い科学論文を山下氏がピックアップし、解説する。 米コロンビア大学とオランダ・デルフト工科大学の研究チームが開発した「Application of a sub–0.1-mm3 implantable mote for in vivo real-time wireless temperature sensing」は、超音波で電力供給と無線通信を行う超小型の温度センサー搭載シングルチップだ。総体積0.1立方mm以下という、塩つぶやダニに匹敵するサイズで、注射針で体内に移植し、生体信号のモニタリングを目指す。 体温、血圧、ブドウ糖、呼吸などの生理的状態を監視する体内埋め込み型医療機器は、何百万人もの人々の生活の質を向上させている。 これまでの埋

                                                  塩つぶサイズのチップを注射で埋め込み 超音波で電力供給と無線通信実現
                                                • 自動テストに限界を感じた私がなぜ形式手法に魅了されたのか - 若くない何かの悩み

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

                                                    自動テストに限界を感じた私がなぜ形式手法に魅了されたのか - 若くない何かの悩み
                                                  • Nature に筆頭で出して、英国でパーマネントの職も得たけど、やりがいがなくなったので辞めます - biochem_fanのブログ

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

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

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

                                                        民主党政権を今さら振り返る - やしお
                                                      • 竹中平蔵パソナ会長「世界は数年痛い目を見る」 いやあなたのせいですでに散々痛い目を見ています(藤田孝典) - 個人 - Yahoo!ニュース

                                                        派遣労働、非正規労働者を急増させてきた竹中平蔵元経済担当相(現・パソナ会長)(写真:つのだよしお/アフロ) 竹中平蔵元経済財政担当相の雇用改革は今でも甚大な効果を発揮している4月18日、19日に弁護士、司法書士、社会福祉士、労働組合員などが企画し、全国一斉なんでも電話相談会が開催された。 新型コロナウイルスの影響により、生活困窮する人たちが多いため、全国の専門職などの有志が立ち上がった。 私も埼玉県で活動する仲間たちと電話相談を受け、経済危機の実態が深刻であることを改めて実感するに至った。 朝10時から夜10時まで、埼玉会場の5回線は受話器を置けばすぐに着信がある状態が2日間続いた。 2日間合計で、埼玉会場には、全産業から雇用形態に関係なく420件を超える相談が寄せられている。 他にも、中小企業の社長、自営業者やフリーランスの方たちからも生活苦が語られた。 そして、なかでも立場の弱い派遣労

                                                          竹中平蔵パソナ会長「世界は数年痛い目を見る」 いやあなたのせいですでに散々痛い目を見ています(藤田孝典) - 個人 - Yahoo!ニュース
                                                        • ゼレンスキー氏、男性の出国求める請願書に「故郷守ろうとしてない」:朝日新聞デジタル

                                                          ","naka5":"<!-- BFF501 PC記事下(中⑤企画)パーツ=1541 -->","naka6":"<!-- BFF486 PC記事下(中⑥デジ編)パーツ=8826 --><div class=\"naka6-banner\" style=\"margin:0 0 15px;\">\n<p style=\"display:block;margin:0 auto;\"><a href=\"https://www.asahi.com/special/bucha/?iref=kiji_bottom_banner\" style=\"display:block;\"><img src=\"https://www.asahicom.jp/special/bucha/images/banner/bucha-tokusyubanner_660x100.jpg\" alt=\"ウクライナ侵攻

                                                            ゼレンスキー氏、男性の出国求める請願書に「故郷守ろうとしてない」:朝日新聞デジタル
                                                          • 【随時更新】色んな人から聞いた痴漢を避ける・捕まえるコツ

                                                            痴漢を避ける、撃退する方法・手が3回触れたら痴漢と見做して良い ・「痴漢!」というと逆上するので、「手が当たってます。どけてください」と事実を冷ややかな声で言うのは有効。 ・痴漢は、ホームでターゲットを物色しているし、自分の顔を覚えられるのを避けるから、周囲を見回して警戒するのは、すごくよいと思う。 ・大きな声を出す必要はない。隣の人に聞こえるくらいのボリュームで「当たってます」と言って、周りの2、3人がキョロキョロしてくれたら、痴漢が行為を続けられなくなる ・舌打ち ・ハンドグリップをギチギチ握る ・ライターカチカチで威嚇(火は出さない) ・赤いウィッグ、ショートエクステを付ける。とにかく気の強い外見 ・ピーポくんストラップを付ける ・防犯ブザーぶら下げる ・黒マスク(イカツク見えるらしい) ・サングラス ・ラーメン屋の親父さんが写真撮るときにやるみたいな腕組みをして乗車する ・痴漢抑止

                                                              【随時更新】色んな人から聞いた痴漢を避ける・捕まえるコツ
                                                            • 数千万ぶち込んだ親族にガチで恨まれてた話 (追記:2020-10-16)

                                                              anond:20200630011932 我が家の両親はどうかしていた が、高校入学までは、なんとなく生活は回っていた。 電気ガスが止まる度に、母が父に鬼電してお金を用意させ、当日中に使えるようになっていた。 しかし、高校に入ってから、ついに水道が止まる。 電気ガスが止まるのはよくあることだったが水が止まるのは初めてのことだった。 というか水道が止まるとなにも出来ないので、直ぐに振り込んで再開させるよう母にお金を渡した。 これがいけなかった。 高校入学と同時に週5でバイトを始めてから、生活費としてなぜか毎月5000円を徴収されていたが、それ以外はお金を要求されたことは無かった。 高校の入学費・制服代は両親が払ったし、止まってから騒いで払うというのは理解しがたかったが、光熱費も両親が払っていた。 しかし、自分が水道代を払って以降は、簡単にお金を要求してくるようになった。 しかも母は全然すまな

                                                                数千万ぶち込んだ親族にガチで恨まれてた話 (追記:2020-10-16)
                                                              • 非エンジニアがWeb開発で知ってると便利過ぎる無料サービスを厳選してみた! - paiza times

                                                                どうも、まさとらん(@0310lan)です! 今回は、Web開発などで役に立つ厳選した無料サービスをご紹介します! 特にWeb開発に慣れていない初心者や非エンジニアの方でも、手軽に特定の機能を提供するページを構築できるサービスを厳選してみました。 また、複数人でのレビュー、サイトの分析、学習リソースなども合わせて掲載しているので、ご興味ある方はぜひ参考にしてください! ■独自ロードマップを公開してユーザーと共有する! 【 Roadmap Show 】 Webアプリやサービス自体のアップデートや予定している機能追加などの情報を、プロダクトロードマップとして手軽に一般公開できる便利なサービスです。 サービス側が何をやっていて、どのような改善をしているのかをユーザー側からも分かりやすくなります。 基本的な使い方も簡単で、いくつかのカテゴリ別にタスクカードを追加していくだけです。 これから予定して

                                                                  非エンジニアがWeb開発で知ってると便利過ぎる無料サービスを厳選してみた! - paiza times
                                                                • もっと使いやすいコマンドラインツール10選

                                                                  背景 ls、cd、psなどのコマンド。 いずれも30年前のもので、今でも毎日使っていますが、"オープンソースの世界には、これらの「古い」Linuxコマンドに代わり、より優れたコマンドラインツールがあるのだろうか?"と思いました。 本記事では、Linuxのコマンドと同じことができるだけでなく、より使いやすいパラメータ、一目でわかる表示、クロスプラットフォーム対応など、使い方、パフォーマンス、表示の面でより優れた新機能を追加したオープンソースのコマンドラインツールを10個まとめてみました。 1. dust(du) 開発言語: Rust Github: https://github.com/bootandy/dust スター数: 4.4k 代替コマンド: du 使用方法: dust プラットフォーム: Windows、Linux、macOS 説明: ディレクトリやファイルのサイズを一目でわかるよ

                                                                    もっと使いやすいコマンドラインツール10選
                                                                  • Linuxメモ : あると便利かもしれないRust製コマンドラインツール - もた日記

                                                                    インストール方法 bat ripgrep, ripgrep-all fd, fselect starship exa, lsd, nat nushell navi, tealdeer delta hyperfine xsv, csview py-spy bandwhich, gping, ht, dog hexyl, bingrep broot tokei genact, globe, glitchcat monolith shellharden fnm, volta pastel gitui, onefetch, git-interactive-rebase-tool skim watchexec dust, diskonaut, dua-cli, dutree zoxide ytop, bottom, zenith mcfly sd, desed topgrade pueue proc

                                                                      Linuxメモ : あると便利かもしれないRust製コマンドラインツール - もた日記
                                                                    • しかし、このままだと観光産業は死ぬ 〜Go Toトラベルをどう考えればいいのか〜(中田大悟) - エキスパート - Yahoo!ニュース

                                                                      この時期に「Go Toトラベル」、だと?令和二年度第一次補正予算に、「次の段階としての官民を挙げた経済活動の回復」のための経費として、国内旅行の旅行代金に補助金を出す「“Go To”キャンペーン事業(仮称)」が、約1.7兆円で盛り込まれており、当初は8月上旬ごろからの事業開始が想定されていましたが、赤羽一嘉国土交通大臣は7月10日に会見を開き、予定を前倒しして、4連休開始前の7月22日から開始すると発表しました。 おそらく、この事業を構想した背景として、夏頃には感染拡大が一段落ついているのではないか、という、新型コロナウィルスのある種の季節性に対する甘い期待とともに、可能な限り早期に経済回復を図りたいという意図があったものと思われますが、なにせタイミングが悪い、という感は否めません。 東京都の新規感染者が連日200人を超過し、第一波封じ込めの失敗が危惧されるなか、このキャンペーンの実施によ

                                                                        しかし、このままだと観光産業は死ぬ 〜Go Toトラベルをどう考えればいいのか〜(中田大悟) - エキスパート - Yahoo!ニュース
                                                                      • 首相、選択的夫婦別姓なお慎重 「家族の一体感に関わる」 | 共同通信

                                                                        Published 2024/06/17 19:43 (JST) Updated 2024/06/17 19:59 (JST) 岸田文雄首相は17日の衆院決算行政監視委員会で、経団連が提言した選択的夫婦別姓の早期導入に慎重な考えを改めて示した。「家族の一体感や子どもの利益にも関わる問題であり、国民の理解が重要だ」と述べ、引き続き議論が必要だとした。経団連は旧姓の通称使用の場合、契約や海外渡航でトラブルが発生して「ビジネス上のリスクになる」としている。 首相発言は、夫婦別姓が家族間の絆を損ないかねないとの認識を示した格好。自民党内の慎重派を意識したもようだ。与野党には導入を求める声もあり、首相の姿勢は議論を呼ぶ可能性がある。

                                                                          首相、選択的夫婦別姓なお慎重 「家族の一体感に関わる」 | 共同通信
                                                                        • 『三体』の劉慈欣が「近未来SF小説の頂点」とまで言った、ページをめくる手が止まらない圧巻の中国SF──『荒潮』 - 基本読書

                                                                          荒潮 (新☆ハヤカワ・SF・シリーズ) 作者:陳 楸帆発売日: 2020/01/23メディア: 新書この『荒潮』は中国のSF作家を代表する一人と言われる陳楸帆による初の(そして今のところ唯一の)長篇SF小説である。陳楸帆の小説は、日本でも刊行された現代中国SFアンソロジーである『折りたたみ北京』にも短篇「鼠年」が載っている。 この「鼠年」は、中国で遺伝子改造されたラットの逃亡と、その駆除隊に入った底辺層の駆除隊の青年を通して中国社会の苦境と世界を支配するゲーム・ルールを描き出していく、ローカル性とグローバル性が適度にブレンドされ、そこからさらにSFならではの情景に繋がっていく圧巻の短篇で、アンソロジー全体の中でも群を抜いておもしろかった。また、この『荒潮』は英語や、原語で読んだ人の評判もずば抜けて高く、最初から期待していたのだが──、実際読んでみたらこれがもうめちゃくちゃおもしろい! 久し

                                                                            『三体』の劉慈欣が「近未来SF小説の頂点」とまで言った、ページをめくる手が止まらない圧巻の中国SF──『荒潮』 - 基本読書
                                                                          • PMBOKとは?第7版でPMBOKの内容が劇的に変更された理由

                                                                            PMBOKとはPMBOKは「Project Management Body of Knowledge」の略語で、日本語に訳すと「プロジェクトマネジメントの知識体系」です。読み方は「ピンボック」です。米国のプロジェクトマネジメント協会(PMI)が1986年にPMBOKのガイドブックの初版を刊行してから、ほぼ4年ごとに改訂され今では「プロジェクトマネジメントの世界標準」とされています。 本来「PMBOK」は体系そのものを指しますが、PMBOKのガイドブック「PMBOK GUIDE」を指す言葉としても用いられています。 【参考】PMI日本支部 2017年に発刊されたPMBOKの第6版はA4判750ページの大冊でしたが、第7版は250ページと1/3のボリュームになりました。目次の構成もガラリと変わっています。この大改訂にショックを受けたのが、プロジェクトマネジメント協会が主催するPMP試験(プロジ

                                                                              PMBOKとは?第7版でPMBOKの内容が劇的に変更された理由
                                                                            • つるの剛士「外国人に畑のパクチー盗まれた」 そのつぶやきが、“差別”である理由 - wezzy|ウェジー

                                                                              2020.09.08 19:00 つるの剛士「外国人に畑のパクチー盗まれた」 そのつぶやきが、“差別”である理由 タレントのつるの剛士によるツイートが、日本で生活する外国人への差別を煽る投稿であるとして議論になっている。 9月4日、つるの剛士は農林水産省の公式Twitterアカウントによるツイート<【ご注意ください】生産者の皆さまが手塩にかけて育てた家畜や農作物、トラクター等の機械の盗難被害が発生しています>を引用リツイートするかたちで、自分たちの家族が育てているパクチー畑でも盗難被害があったと投稿した。 <うちの畑も最近パクチーやられました(現行犯でしたが※「日本語わからない」の一点張り)ので気をつけてください。悲しいですが監視カメラ取りつけました> 投稿によれば、つるの剛士は現行犯で犯人を捕らえ接触したが、盗難を反省していたことから警察に通報することはせず穏便に済ませたという。 そのう

                                                                                つるの剛士「外国人に畑のパクチー盗まれた」 そのつぶやきが、“差別”である理由 - wezzy|ウェジー
                                                                              • 東浩紀「緊急事態に人間を家畜のように監視する生権力が各国でまかり通っている」 | AERA dot. (アエラドット)

                                                                                東浩紀(あずま・ひろき)/1971年、東京都生まれ。批評家・作家。株式会社ゲンロン代表。東京大学大学院博士課程修了。専門は現代思想、表象文化論、情報社会論。93年に批評家としてデビュー、東京工業大学特任教授、早稲田大学教授など歴任のうえ現職。著書に『動物化するポストモダン』『一般意志2・0』『観光客の哲学』など多数 ※写真はイメージ(gettyimages) 批評家の東浩紀さんの「AERA」巻頭エッセイ「eyes」をお届けします。時事問題に、批評的視点からアプローチします。 *  *  * 生権力(せいけんりょく)という言葉がある。フランスの哲学者フーコーの概念で、人間を家畜のように捉える権力を意味する。たとえば税制を変えれば出生率も変わるが、そのようにして集団を「管理」するのが生権力である。 生権力の働きは、非人称で政治的に中立なふりをしてくるので抵抗が難しい。だからこそ警戒が必要だとい

                                                                                  東浩紀「緊急事態に人間を家畜のように監視する生権力が各国でまかり通っている」 | AERA dot. (アエラドット)
                                                                                • 2022年に読んで面白かった漫画 53選 - #AQM

                                                                                  我ながらコンサバなのにミーハーな並びだな。 ★★★    面白かった ★★★★   すごい好き ★★★★★  愛してる ★★★★★★ 人生のお供 この記事では★5以上を並べます。 同じ★数同士の順番は、単純に読んで記事にした日付の順なので他意はないです。 読んで面白くなかった漫画は、わざわざDISるのもなんなので記事にしてないです。 その他、世の中には自分が読んでない漫画の方が圧倒的に多いです。 前回はこちら。 aqm.hatenablog.jp 前は半年ごとにやってたんですけど前回から1年分まとめて、寸評も巻ごとじゃなくて作品ごとに。 諸々コミでこんぐらい。長くてすいません。 あとで読んでください。 じゃあ、そういう感じで。 1本目 11本目 21本目 31本目 41本目 51本目 その他 1本目 ★★★★★ aqm.hatenablog.jp aqm.hatenablog.jp aqm

                                                                                    2022年に読んで面白かった漫画 53選 - #AQM