イナバ on Twitter: "元アマゾン社員が「Amazonが新規事業開発で使っているアイデア出しフォーマット」を公開していました。 プレスリリース形式に情報をまとめるとのことです。 出典：forbes「アマゾンのすごい『逆算資料』。新サービス説明資料は『プレスリリース形式』で」 https://t.co/Or2IInQAVC"
タグ検索の該当結果が少ないため、タイトル検索結果を表示しています。
長らく自動テストとテスト容易設計を生業としてきましたが、最近は色々な限界を感じて形式手法に取り組んでいます。 この記事では、既存の自動テストのどこに限界を感じてなぜ形式手法が必要なのかの私見を説明します。なお、私もまだ完全理解には程遠いため間違いがあるかもしれません。ご指摘やご意見はぜひ Kuniwak までいただけると嬉しいです。 著者について プログラマです。開発プロセスをよくするための自発的な自動テストを支援する仕事をしています（経歴）。ここ一年は R&D 的な位置付けで形式手法もやっています。 自動テストの限界 自動テストとは 私がここ数年悩んでいたことは、iOS や Web アプリなどのモデル層のバグを従来の自動テストで見つけられないことでした。ただ、いきなりこの話で始めると理解しづらいと思うので簡単な例から出発します。 この記事でいう自動テストとは以下のようにテスト対象を実際に
Twitter 形式でメモが残せる Obsidian Memos で「考えるな、書け」を体現できるくらい筆が進むようになった
Twitter 形式でメモが残せる Obsidian Memos で「考えるな、書け」を体現できるくらい筆が進むようになった 2023-06-16 Obsidian-Memos という Obsidian のプラグインを Twittier で見かけて1ためしてみたら、Obsidian が更に便利になったので紹介。 https://github.com/Quorafind/Obsidian-Memos 以下、こんな感じで daily journal に list or task 形式で書き出されていく Memos の画面 Daily Note にはこんな感じで書き込まれる。 これらの内容は以下のような形式で Daily Note にリスト or タスク形式で書き込まれていく。 - 01:25 Memos を入れてみた、しばらく試してみる - 01:25 書きなぐるようにメモれるのは楽かも、ti
「プログラミングを学ぶ」ではなく「要件定義を学ぶ」 田中邦裕氏（以下、田中）：あと13分ぐらいになったので、今後の展望にいきたいのですが、その前に、質問が7個ほど来ているので、みなさんに聞きたいと思います。 一番投票数が多い質問が、「非エンジニアでAIを使ったスマホアプリを作りたいんだけれども、プログラミングをそもそも学ぶべきか？」という質問です。 生成AIがある今、何をどのように学ぶべきなのか。プログラムを学ぶべきなのか、それ以外になにか手段があるのか。目的によっても違うのですが、ざっくりとしたこの質問に対して、なにか答えられる方はいますか？ 比戸将平氏（以下、比戸）：じゃあ、私から。 田中：はい、お願いします。 比戸：先週ぐらいに、NVIDIAのジェンスン（Jensen Huang氏）が、「今後はAIがプログラムを書くから、もうプログラムを学ぶ必要はないよ」と発言したのが切り取られて、
タケマシュラン @takemachelin 「予約の権利をオークション形式で売り出す」という凄まじいサービスが始まりました（実際の飲食代金は別途）。 そういった職業意識・価値観のレストランを一覧形式で確認できるので、ある意味とてもためになります。 pic.twitter.com/oIY7ev68vG 2022-09-08 07:52:56 リンク shokuoku.com 食オク！超予約困難店のネット予約サイト 超予約困難店の座席を確保！日本初！座席の権利を公平公正にオークション！一度行ってみたかったお店、予約サイトでも即埋まってしまう超人気店の予約が取れます。予約困難店で空席が出た際などにもオークションを致します。 3 users 384
「なぜ和風ファンタジーのヒット作品は少ないのか」SNS上で議論が勃発 「日本では作りにくいから」「西洋と違って定番の形式がない」説も
なぜ和風ファンタジー作品にヒット作が少ないのか―― そんな疑問がネット上で議論になり、11月7日ごろ、X（旧Twitter）で「和風ファンタジー」がトレンド入りしました。 ことの発端は、「もっと和風ファンタジーを書こうよ」という趣旨の投稿だったと見られていますが、そこから伝言ゲームのように話が広まって「なぜ和風ファンタジーのヒット作品は少ないのか」という形で言及されるように。 元の投稿からは論点がズレながらも「どうして西洋ファンタジーなどと比べて、和風ファンタジーは存在感が薄いのか」という疑問に、小説家、マンガ家などのクリエイターを含むさまざまな人たちが自分なりの考えを投稿しはじめました。 ひとつには、和風ファンタジー作品は作りにくい、という意見があり、「日本人は当然ながら日本に詳しく、歴史的に不正確だと違和感を覚えることがあり、思いきったストーリーが作りにくいのでは」「西洋ファンタジーと
立憲民主党など野党4党は19日、菅義偉首相が日本学術会議から推薦された新会員候補6人を任命しなかった問題を巡り、内閣府などへのヒアリングを国会内で実施した。「政府が行うのは形式的任命」などとする1983年の政府答弁が維持されているかについて、内閣府の担当者は「答えるのが困難だ」などとあいまいな答弁に終始した。 83年当時の中曽根康弘首相は、推薦権を握る各学会が、学術会議会員の実質的な任命権を持つと解釈できるような国会答弁をしている。今回の任命拒否問題と83年答弁の関係について、これまで政府は「法解釈は変わっていない」と強調していた。
大盛半チャーハン on Twitter: "異世界転生にも問題があって、最大の問題は知識チートは基本的にできないっていう問題。具体的には現実の技術って飛び級禁止のスキルツリー形式なんだよね……"
異世界転生にも問題があって、最大の問題は知識チートは基本的にできないっていう問題。具体的には現実の技術って飛び級禁止のスキルツリー形式なんだよね……
小西ひろゆき （参議院議員） on Twitter: "菅総理の日本学術会議の任命拒否が違法の証拠を発見。 昭和５８年に、「実質的に総理の任命で会員の任命を左右することは考えていない」、「任命制を実質的なものとは理解していない」、「推薦のとおりに総理が形式的な発令行為を行うと条文を解… https://t.co/P3v0gsvIHM"
菅総理の日本学術会議の任命拒否が違法の証拠を発見。 昭和５８年に、「実質的に総理の任命で会員の任命を左右することは考えていない」、「任命制を実質的なものとは理解していない」、「推薦のとおりに総理が形式的な発令行為を行うと条文を解… https://t.co/P3v0gsvIHM
リンク 出雲大社 出雲大社 縁結びの神・福の神として名高い出雲大社（いづもおおやしろ）の公式ウェブサイト。 御祭神は大国主大神（おおくにぬしのおおかみ）で、広く「だいこくさま」として慕われ、日本全国でお示しになられた様々な御神徳は数多くの御神名によって称えられています。 1566
なんでもメモして個人的な知識を蓄える「Obsidian」のキャンバスデータ保存形式「JSON Canvas」がオープンソース化、中身はこんな感じ
Markdown形式でメモを作成できるサービスのObsidianが使用しているObsidian Canvasファイル形式を「JSON Canvas」ファイル形式としてオープンソース化することを発表しました。 JSON Canvas — An open file format for infinite canvas data. https://jsoncanvas.org/ Announcing JSON Canvas: an open file format for infinite canvas data - Obsidian https://obsidian.md/blog/json-canvas/ 仕様についてはjsoncanvas.orgに記載されています。サイトにアクセスするとこんな感じ。右下の「Toggle output」をクリックしてみます。 右側にJSON Canvas形式
学術書専門の老舗出版社で６月３０日に解散した「創文社」（東京都千代田区）が世に送り出してきた全書籍について、大手出版社の講談社（文京区）が刊行を引き継ぐことが決まった。神学者トマス・アクィナスの「神学大全」（全４５巻）などの良書が絶版を免れる。一つの出版社の書籍を丸ごと別の出版社が引き継ぐのは業界では異例。良書を残したい、という両社の思いが結実した。（小佐野慧太） 講談社は創文社の全書籍１５００点以上のうち、権利者から同意を得られた書籍について、読者から注文があれば、そのつど製本するプリント・オンデマンド（ＰＯＤ）出版や、電子書籍の形で届ける。「創文社ＰＯＤ叢書（そうしょ）（仮称）」シリーズとして刊行する。
はじめに みなさん形式手法をご存知でしょうか？ 名前くらいは聞いたことあるけどいまいち何かわからないという方が多いのではないでしょうか。 その通りです。形式手法はアカデミアではそれなりに研究されているものの、 一般の（特にWeb系）ソフトウェア開発者が携わることはなかなかないのではないかと思います。 この記事ではソフトウェア開発に形式手法が導入されないのはなぜなのかを考察します。 この記事ではアジャイルソフトウェア開発において形式手法を導入する際のハードルについて考察します。 追記 本記事について、「形式手法は流行っていない」というのは正確ではないのではないかという指摘をいただきました。組み込み系や社会インフラ系等バグを絶対に出せないシステム開発では形式手法がよく使われているそうです。 ちょっと古いデータですが活用事例です。 誤解を招く紹介となっていたことをお詫びします。 さらに追記 ku
それはそうと、軽量な形式手法たる型システム含む形式手法は記号の世界の中での正気はちゃんと証明してくれるが、人間様が頭を捻って作られた、自然言語で書かれた仕様とやらは一体何の正気を保証してくれるんだろう
マイクロサービスについて考えていたら疲弊したので、少し技術者らしく形式的に見てダメのものを思考から削ぎ落としたいと思った。 グラフ理論などコンピュータサイエンスの基礎を交えて話をするが、基本的には当たり前のことしか言わないと思うのでここに書くことを意識せずとも暗黙的に実践している人も多いだろう。 なお、個人の意見でしかないのであっているか間違っているかはわからないし、筆者にこの記述に反した実装を否定する意図はない。 今回は適当に書き散らかすのでかなりテイストが違うが他のブログと同一人物が書いている。乗っ取り等ではないです。 TL;DR マイクロサービスはDAGとすると考えやすいしデプロイしやすい 閉路があるなら設計を見直した方がいい DAGかどうかはサブシステムレベルでそれぞれ考えると簡単 デプロイに関係するリポジトリでは閉路がないことを意識させる設計にするといい マイクロサービスと疲弊
PlantUML + ERDでPlantERDです github.com モチベーション PlantERDの特徴 使い方 出力するテーブル数の制限について 技術的に頑張ったこと テストのこと Foreign keyで隣接している別のテーブルを探す方法 複数DB対応のつらみ 追記：2019/12/13 9:45 モチベーション 既存プロダクトへの不満が一番大きいです。 https://github.com/voormedia/rails-erd は出力が画像なので取り回ししづらい そもそもRails前提なので他言語とかでは使えない https://github.com/schemaspy/schemaspy も悪くなさそうなんだけどここまでリッチじゃなくていい テーブル数個の小規模アプリならいいんだけど、中規模以上のアプリで使うと人間が読むに耐えないERDが生成されて精神が崩壊する 僕は初め
SVG形式のファビコンを設置しよう
2022年4月27日 SVG, Webサイト制作 つ・い・に！ファビコンもSVG形式が対応されるようになりました！SVGを使えばこれまで使われてきたPNGなどのビットマップ形式とは違い、拡大縮小しても画質が劣化しません。つまり、過去記事「クリエイティブなファビコンを設置しよう」で紹介したように多くのサイズを用意する必要はありません！やったね！少し工夫すればダークモードにも対応できますよ！さっそくみていきましょう！ ↑私が10年以上利用している会計ソフト！ SVGファビコン設置方法 1. SVG形式のファビコン用画像を用意 グラフィックツールでファビコンにしたい画像を用意します。サイズは特に気にしなくてもOK。正方形であればどのサイズでもきれいに表示されます。今回はIllustratorを使って32x32pxのものを用意しました。 SVG形式で保存します。 2. HTMLファイルに記述 あと
GoogleやAirbnbなどの著名企業だけでなく、国内でも1000社以上が使っているというプロジェクト管理サービスが「Wrike」です。圧倒的な使いやすさだけでなく、2021年1月21日にシンクライアント技術大手のCitrixに22億5000万ドル(約2330億円)で買収されたことでも話題になっていたので、実際に使ってみました。 チームの仕事をオンラインでまとめて管理 | Wrike https://www.wrike.com/ja/ まずは公式サイトにアクセスし、メールアドレスを入力して「今すぐ始める」をクリック。 入力したメールアドレスに確認用のメールが送られてくるので、本文中の「あなたのEメールであることをご確認ください」をクリック。 アカウント作成ページに遷移するので、上から氏名・パスワード・電話番号を入力し、会社の規模・部署・居住国を選択したら、「次へ」をクリック。 すると、プ
masanorinaito on Twitter: "トルコもやっているが、小学校や中学校の授業をTVで流せよ、NHK。いまあるコンテンツは部分的に映像化したものだけ。普通に先生が教えるコンテンツをさっさと作って放送したら？Eテレって、「教育テレビ」だったろ。 高校講座も昔のようにせめて30分で授業形式に戻すべきだ。"
トルコもやっているが、小学校や中学校の授業をTVで流せよ、NHK。いまあるコンテンツは部分的に映像化したものだけ。普通に先生が教えるコンテンツをさっさと作って放送したら？Eテレって、「教育テレビ」だったろ。 高校講座も昔のようにせめて30分で授業形式に戻すべきだ。
形式的に「当たり前の権利は保障されるべきとして暇空茜を支持する」というなら、「当たり前の権利は保障されるべきとして仁藤夢乃を支持する」ともいえるよね - 法華狼の日記
仁藤夢乃氏が代表をつとめる支援団体Colaboへの監査では、会計のミスはあっても横領などの不正は見つからず、補助金の返還も必要ないと認められた。その結果を不服として監査請求者は住民訴訟をおこなっている。 その「暇空茜」と名乗る監査請求者について、はてなブックマークでid:Capricornus氏が支持を表明し、はてな匿名ダイアリーで説明を足して、注目をあつめていた。 何より一民の当たり前の権利は保障されるべきとして暇空茜を支持する タイトルで「市民」や「ひとりの民」ではなく「一民」という言葉をつかっているところからして、よくわからないが。少なくとも一般的な辞書では人名ばかりが引っかかる*1。 一般に通じない言葉をつかうことをエコーチェンバーの基準とするなら*2、この「一民」はその対象にならないのか、ならないとすればその理由は何だろうか。 本文を読んでも、Capricornus氏が何を主張し
チャット形式でプログラミングが可能なローカルで動作するオープンソースなAIツール「Open Interpreter」を使ってみた
OpenAIが開発したプラグイン「Code Interpreter」を使用すると、ChatGPTにプログラミングのコードを生成してもらうことが可能ですが、インターネットに接続できないのに加え、使用できるパッケージやアップロードの容量、実行時間などに制限があります。「Open Interpreter」はローカルで動作することでそうした制限を突破し、柔軟にさまざまなプログラムを生成・実行してくれるオープンソースなAIツールとのことなので、実際に使って試してみました。 KillianLucas/open-interpreter: OpenAI's Code Interpreter in your terminal, running locally https://github.com/KillianLucas/open-interpreter/blob/main/docs/README_JA.m
Haruhiko Okumura on Twitter: "厚労省のデータは酷いという英文記事 https://t.co/IXI22f9NBW 例えばこの図で 148+1212+27+46 が 1387 にならないことを指摘され，次の日（3月28日）に厚労省は表の形式を変えた。でもまだ数値… https://t.co/8ryEFqF6cG"
厚労省のデータは酷いという英文記事 https://t.co/IXI22f9NBW 例えばこの図で 148+1212+27+46 が 1387 にならないことを指摘され，次の日（3月28日）に厚労省は表の形式を変えた。でもまだ数値… https://t.co/8ryEFqF6cG
2020年度第2次補正予算案を審議する国会で、河野太郎防衛相が“勉学”に励んでいる。予算案を審議する予算委員会の基本的質疑では全閣僚の出席が通例となっているが、9～10日の衆院予算委では答弁の機会がないまま計約8時間半も座りっぱなし。河野氏は国会での「形式的な閣僚の張り付け」を問題視してきたが、国会側で改革の議論が活性化していない事情もある。ただ、不満を態度で示してしまう点は「ポスト安倍」候補として資質が問われそうだ。 9～10日の予算委で河野氏はひざ掛けで体を冷やさないようにし、A4用紙にコピーした文書の束を一枚一枚めくりながら目を通していた。資料には戦闘機や無人機らしき写真も入っており、安全保障関連の資料とみられる。質問者や答弁者に顔を向けたり、配布された議事資料に目を通したりすることは、ほとんどなかった。
2020年1月に入社し、SWETの仕様分析サポートチームに加わったtakasek（@takasek）です。 仕様分析サポートチームでは、社内のプロダクト開発に対する形式手法の活用可能性を模索しています。当ブログでも、継続的に形式手法に関する情報発信をしています（形式手法 カテゴリーの記事一覧）。 この記事では、加入3か月を経てようやく形式手法の輪郭が掴めてきた私の視点から、学習前後での理解の変化について振り返ります。想定読者として学習前の私と近い属性——すなわちコンピュータサイエンスや数学の専門教育を受けておらず、主に現場での実務と自習に頼ってきたソフトウェアエンジニアを想定しています。 形式手法を学ぶ前の認識と疑問 ソフトウェアエンジニアとしての私の一番の興味関心は設計手法です。設計は、なんらかの解決したい問題に対して、ある一面を切り取った構造（モデル）を与え、そのモデルを解決の機構に落
画像ファイルには多様な形式が存在し、「JPG」「PNG」「GIF」といった見慣れた形式加えて「WebP」「AVIF」「HEIF」といった2010年代に登場した新しい形式もあります。そんな中、テクノロジー関連ライターのアーニー・スミス氏は「忘れ去られた10種類の画像ファイル形式」について解説しています。 10 Image File Formats That Didn’t Make It https://tedium.co/2021/11/10/10-forgotten-image-formats/ ◆01：North American Presentation Level Protocol Syntax(NAPLPS) NAPLPSはグラフィックイメージを素早く伝送する方法を構築する取り組みの一環として開発された画像ファイル形式で、カナダの放送業界を中心に1980年代から利用され始めました。
しかし熊谷氏によると、実際には地域防災計画に基づき災害対策本部を災害「警戒」本部に移行しただけで、24時間の動員体制は解除されていなかったという。つまり本部の看板は一時架け替えたが、市による実質的な対応は変わっていなかったというシンプルな話だ。 東京新聞やNHKなども時事通信を「後追い」 ところが、時事通信の記事は「（市の）対応を問題視する声が上がっている」と紹介したうえで、「国や千葉県の初動対応の遅れも指摘されている」と結び、千葉市の対応にも問題があったのではないかとほのめかした。その一方、記事は災害警戒本部に移行した事実には触れていない。熊谷氏は「本当に悪意のある記事。『解散』という表現自体が不適当です」と話す。 熊谷氏によれば「悪意のある」報道はそれだけでは終わらなかった。時事の一報を受けて、ほかの新聞・テレビの取材が千葉市に殺到。まさに災害対応に当たっているさなかに、市の危機管理部
","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=\"
ChatGPTを使ったLINEbot開発で、安定してJSON形式で出力する方法： この記事ではchatGPTを使ったLINEbotを作成する際に、出力を安定してJSON形式で得る方法を解説します。具体的には、gpt-3.5-turbo APIとGoogle Apps Script (GAS)を使ったLINEbotを想定しています。仮想人格の発言内容と内部パラメータ（感情パラメータなど）を分けて出力したい場合に役立ちます。 ChatGPT APIを使ったLineBotの作り方を、人格の与え方まで完全解説【プログラミング不要】 AIがあなたのお悩みに答えます。悩みを解決する未来の相談相手、AIがあなたを待っています。[プロンプト有] プロンプトインジェクション対策｜ChatGPT APIのLINEボットを一ヶ月運用して戦った記録 こんなとき役に立つ 感情を伝えるチャットボット ユーザーの反応に
話題のゲーム「クラフトピア」にVRM形式の3Dモデルに対応するMODが登場 Steamで販売中のオープンワールドゲーム「クラフトピア」にて、MODによりVRM形式の3Dモデルが使えるようになったことが話題となっています。 「クラフトピア」は、ポケットペアが手がける9月21日現在アーリーアクセス中のオープンワールドサバイバルアクションゲームです。さまざまなゲームのエッセンス・オマージュを盛り込み、狩りや農業、ハクスラや建築、自動化などが楽しめる自由さを特徴としています。 ヤバい…皆が求めてるものが出来てしまうかもしれん… pic.twitter.com/41m8ljAlK8 — yoship@ソシャゲ作りに浮気中 (@yoship1639) September 19, 2020 今回MODを制作したのは、個人ゲームクリエイターのyoship氏。クラフトピアのシングル専用VRM MODとして「
アメリカのオリンピック委員会が代表選手のために東京都内にビュッフェ形式の食堂を用意していることが分かりました。 アメリカのＵＳＡトゥデー紙によりますとアメリカ選手団のための食堂が設置されたのは、東京都内の施設です。オリンピックの選手村にも食堂はありますが、陸上や水泳などのアメリカ代表選手は、現在、東京・世田谷区にある大蔵運動公園の一部をトレーニングキャンプとして使っていて、慣れ親しんだ味を提供することを目的に栄養担当のスタッフが食事をビュッフェ形式で用意することになりました。 すでにおよそ３２．７トンの食材や飲み物を西部コロラド州から運び込み、日本でも食材を調達。担当者は、取材に対し、「我々のチームは、おもに赤身肉、鶏の胸肉、魚やベジタリアン用の食事を食べる。もちろん沢山のパスタやミートボールも」と話していて、２７日間に渡って選手とスタッフに７０００食を提供する予定です。使い終わった調理道
無料でEdgeがなくてもチャットAI「Bing Chat」をWindows・macOS・Linuxで単体起動でき会話履歴の画像・PDF・マークダウン形式保存やショートカットキーも駆使でき便利なアプリ「BingGPT」を使ってみた
Microsoftは2023年2月に検索エンジンのBingにチャットAIの「Bing Chat」を統合し、2023年5月に一般公開しました。Bing ChatにアクセスするにはMicrosoft Edgeを起動するか、あるいはウェブブラウザでBingにアクセスする必要がありますが、ブラウザを起動しなくても単体でBing Chatにアクセスできるツール「BingGPT」が公開されたので、実際に使ってみました。 GitHub - dice2o/BingGPT: Desktop application of new Bing's AI-powered chat (Windows, macOS and Linux) https://github.com/dice2o/BingGPT 上記のGitHubページにアクセスし、右にある「Relaese」にある最新版をクリック。記事作成時点で最新版はバージ
アマゾンのすごい「逆算資料」。新サービス説明資料は「プレスリリース形式」で | Forbes JAPAN 公式サイト（フォーブス ジャパン）
9月に出版された『amazonのすごい会議―ジェフ・ベゾスが生んだマネジメントの技法』（東洋経済新報社）の著者、佐藤将之氏は、アマゾンジャパンの立ち上げメンバーとして2000年7月に入社。サプライチェーン、書籍仕入れ部門を経て2005年よりオペレーション部門で、2016年に同社を退職するまでディレクターとして国内最大級の物流ネットワークの発展に寄与した。 世界トップの企業、アマゾンの成長を支える原動力である「会議の技法」とは、どのようなものなのか。 同書の一部より抜粋し、会議の効率化を図るためにジェフ・ベゾスが設けた「アマゾン流、資料作成のルール」を紹介する。 提案を受け入れてもらいやすくする魔法のフォーマット アマゾンでは、常に無数のプロジェクトが発案され、会議で提案されています。そして、新規プロジェクトが立ち上がる際に、必ず用いられている資料のフォーマットがあります。それがプレスリリー
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
自動テストに限界を感じた私がなぜ形式手法に魅了されたのか - 若くない何かの悩み
「尖った人ではなく、暗黙知を形式知に変換する人がほしい」 “均質人材”を育成してきた日本でこれから求められる能力とは
次世代Web通信プロトコル「HTTP/3」がついに標準化 ～有志による無償解説本が話題に／PDF形式の電子書籍がGitHubで公開中！ 今後も更新される模様【やじうまの杜】
プログラマーを苦しめてきた郵便番号データ「KEN_ALL.CSV」が改善！ 扱いやすい新形式／従来形式のデータも引き続き利用できるから安心してネ【やじうまの杜】
飲食店の予約の権利をオークション形式で売り出すというすさまじいサービスが開始「さすがにドン引き」「何がダメなの？」
83年「形式的任命」政府答弁の維持「答えるのが困難」 内閣府 | 毎日新聞
手持ちの画像を「Excel」ファイルにしてしまうWebアプリ「Image to Excel」が爆誕／XLSXは画像ファイル形式、「Excel」は画像エディター＆ビューワーだ！【やじうまの杜】
【デカい】「鳥居の高さ ベスト10 (+α) 作ってみた」全国各地の大きな鳥居をランキング形式でまとめました
IPA、会社におけるセキュリティ対策の実践状況をチェックするWebツールを公開／経産省が定めたガイドラインの実践状況をレーダーチャート形式で可視化
創文社の全書籍が絶版免れる 講談社がオンデマンド形式で出版へ：東京新聞 TOKYO Web
形式手法はなぜ流行っていないのか - Qiita
「せっかく記号を使った形式手法があるのに自然言語に戻るのか」というツイート - tkgshn
マイクロサービスを形式的に見てみる - Juju-62q's blog
未来人材ビジョン（PDF形式：2,560KB）経済産業省 2022年5月31日公表
ERDをPlantUML形式で自動生成するツールを作った - くりにっき
“江頭2:50”を「Google Chrome」のアドレスバーからググると……？／あまり知られていないURLの形式が罠に【やじうまの杜】
カンバン形式やガントチャートなど複数形式でプロジェクト＆タスク管理が可能な「Wrike」を使ってみた
フリーの解凍・圧縮ソフト「7-Zip」がVHDX形式仮想ディスクファイルの抽出に対応／仮想マシンからファイル・フォルダーを抜き出せる
河野防衛相、2次補正審議中に「勉強」 「形式的な閣僚の張り付け」不満表れ? | 毎日新聞
ゼロから学んだ形式手法 - DeNA Testing Blog
「BMP」や「PCX」など忘れ去られた画像ファイル形式10選
千葉市長が｢悪意ある台風報道｣に激怒するワケ 形式論で足を引っ張るマスコミの罪
京大のいま 「不自由が増えた」「形式的」と変容を感じる教員、学生：朝日新聞デジタル
ChatGPTを使ったLINEbot開発で、安定してJSON形式で出力する方法 - Qiita
話題のゲーム「クラフトピア」にVRM形式の3Dモデルに対応するMODが登場
米選手団、都内に食材持ち込みビュッフェ形式食堂～米報道｜TBS NEWS
（別添2）調査結果報告書［PDF形式：797KB］ - 厚生労働省
mez-life.com
www.nikkei.com
reira.lo.gob.jp
www.nikkei.com
note.com/haken_se_30manen
nordot.app