YAPC::Hakodate 2024 で使用したスライドです。 本セッションでは、分散システムのような複雑な仕様や動作を持つプログラムに対して、様相論理を用いてその仕様を記述し検査する技術について解説します。 我々はシステムの仕様を保証する際、テスト設計や自動化ツールのような、仕様を「テス…
普通の Web エンジニアのための様相論理入門 #yapcjapan / YAPC Hakodate 2024
YAPC::Hakodate 2024 で使用したスライドです。 本セッションでは、分散システムのような複雑な仕様や動作を持つプログラムに対して、様相論理を用いてその仕様を記述し検査する技術について解説します。 我々はシステムの仕様を保証する際、テスト設計や自動化ツールのような、仕様を「テス…
CVCワードとは、フォニックス学習において重要な単語で、子音（C）、母音（V）、子音（C）の順番で構成される3文字の英単語を指します。例えば、「cat（キャット）」、「dog（ドッグ）」、「hat（ハット）」、「pen（ペン）」などがCVCワードにあたります。 CVCワードは、英語の音を理解しやすくするための基本的なステップです。これらの単語は、発音が簡単で、子供たちがフォニックスの音を学ぶ際に最初に取り組むべき単語群です。 これらのシンプルな単語をマスターすることで、英語の基本的な発音ルールを自然と身につけることができます。 幼児期にCVCワードを学習するメリットは、 フォニックスの理解: 各アルファベットの音を理解し、それを組み合わせて単語を作る能力が向上します。読み書き能力の向上: 短くシンプルなため、初めて読む単語として適しており、自信を持って読み書きする力を育てます。英語に対する
早く安く、成功するアイデアかを確かめるとはいえ、サヴォイア氏が本書で説くのは、そうしたリスクばかりではありません。金銭的・時間的損失をミニマムに抑えつつ、新しいアイデアに市場性があるかを確かめる手段も提示しています。 それが「プレトタイピング」です。 初めて聞く言葉だと思いますが、それもそのはず。これは、サヴォイア氏の造語で、「プロトタイプ」をもじったものです。「プレ」という接頭語には、プロトタイプよりも「前」の工程という意味合いと、「プリテンド」（ふりをする）の意味が含まれています。 サヴォイア氏は、プレトタイピングには、プロトタイプをしのぐ大きなメリットがあると力説します。その1つが、期間・費用がかなりかかるプロトタイプよりも、圧倒的に早く安くできるという点。 もう1つは、アイデアのコンセプト自体がそもそも間違っているかどうかを早期に検証し、ダメだとわかったら傷が浅いうちに撤退できると
Adobe Photoshop新機能：AIで不要物を一瞬で消去！「Distraction Removal」が画像編集を革新 - イノベトピア
Adobe Photoshop新機能：AIで不要物を一瞬で消去！「Distraction Removal」が画像編集を革新 Last Updated on 2024-10-15 08:03 by admin 2024年10月14日、Adobe社はPhotoshopの最新アップデートを発表した。このアップデートでは、人工知能（AI）を活用した新機能「Distraction Removal」が追加された。 主な特徴は以下の通り： 「Remove Tool」に「Distraction Removal」機能が統合され、画像内の不要な要素（人物、ワイヤー、ケーブルなど）を1クリックで自動的に検出・削除・置換できるようになった。 最新のAdobe Firefly Image 3 Modelが導入され、Generative Fill、Generative Expand、Generate Similar、
パリーグ優勝は確実かな・・・ ９月１８日時点で優勝マジック５ 優勝の瞬間が見れるかも・・・？ 不安だらけだけれども パリーグ優勝は確実かな・・・ 今年のソフトバンクホークスは強いですね～ 育児猫家は毎年ペイペイドームに野球観戦に行くんです。 www.ikujineko.com 今年も２度行きました。 そして実はもう一試合分チケットを持っているのです。 このチケットは９月２２日（日）のチケット。 プロ野球に興味のある方ならお分かりだと思いますが、このチケットはひょっとしたらひょっとする・・・そんなチケットなのです。 ９月１８日時点で優勝マジック５ この記事を書いているのは９月１８日の早朝です。 現時点でソフトバンクの優勝マジックは５です。 プロ野球に全く興味のない方のために書いておくと、優勝マジックとは「他チームの試合結果にかかわらず、あと何勝すれば優勝が決まる」という数字です。 つまりソフ
ドラマ『GO HOME〜警視庁身元不明人相談室〜』全話のストーリー・動画・キャスト・豆知識を紹介 - AKIRAの映画・ドラマブログ
引用：https://www.ntv.co.jp/gohome/ ドラマ『GO HOME〜警視庁身元不明人相談室〜』では、身元不明の遺体を特定して、捜査していきます。 そんなドラマ『GO HOME〜警視庁身元不明人相談室〜』の全話のストーリー・動画・キャスト・豆知識について、詳しく紹介します。 ドラマ『GO HOME〜警視庁身元不明人相談室〜 第1話』 ドラマ『GO HOME〜警視庁身元不明人相談室〜 第2話』 ドラマ『GO HOME〜警視庁身元不明人相談室〜 第3話』 ドラマ『GO HOME〜警視庁身元不明人相談室〜 第4話』 ドラマ『GO HOME〜警視庁身元不明人相談室〜 第5話』 ドラマ『GO HOME〜警視庁身元不明人相談室〜 第6話』 ドラマ『GO HOME〜警視庁身元不明人相談室〜 第7話』 ドラマ『GO HOME〜警視庁身元不明人相談室〜 第8話』 ドラマ『GO HOME〜
Last Updated on 2024-10-09 07:23 by admin 2024年10月8日、マイクロソフトは10月のセキュリティ更新プログラム（Patch Tuesday）を公開した。この更新プログラムでは、118件の脆弱性が修正された。これは2024年で3番目に大規模な月次セキュリティ更新となる。 主な内容は以下の通り： 5件の公開済み脆弱性（ゼロデイ）が修正された。そのうち2件は既に悪用されていた。 3件の「緊急」レベルの脆弱性が修正された。これらはすべてリモートコード実行の脆弱性である。 最も深刻な脆弱性はCVE-2024-43468で、CVSSスコアは9.8/10である。これはMicrosoft Configuration Managerに存在する。 悪用されていた2件の脆弱性は、CVE-2024-43572（Microsoft Management Console）
1. はじめに MapReduceは大規模データ処理のための強力なプログラミングモデルです。本記事では、Google Colab環境でPythonを使用してMapReduceの概念を学び、効率的なデータ処理パイプラインを構築する方法を解説します。 MapReduceの概要 MapReduceは主に2つの段階から構成されています： Map: 入力データを key-value ペアに変換する Reduce: 同じキーを持つ値をまとめて処理する これらの操作を組み合わせることで、大規模なデータセットを効率的に処理することができます。 記事の目的 本記事の目的は以下の通りです： MapReduceの基本概念を理解する Google Colabの制限に対応しつつ、Pythonで効率的なMapReduce処理を実装する方法を学ぶ 実践的な例を通じてMapReduceの活用方法を習得する 2. MapR
【いま、マンガやアニメはかつてなく面白い！と思いませんか？】 【「つまらなくなった」言説はそれこそ昔からある】 【じゃあ、アニメはどうなのさ？】 【いま、確実に面白いマンガ10作！】 ・阿賀沢紅茶 『正反対な君と僕』 ・杉浦次郎 『ニセモノの錬金術師』 ・トマトスープ『天幕のジャードゥーガル』 ・つるまいかだ『メダリスト』 ・福田晋一『その着せ替え人形は恋をする』 ・史セツキ『日本の月はまるく見える』 ・おがきちか『Landreaall』 ・平井大橋 『ダイヤモンドの功罪』 ・inee『ラブ・バレット』 ・平鳥コウ＆山田J太『JKハルは異世界で娼婦になった』 【いま、マンガやアニメはかつてなく面白い！と思いませんか？】 昔は良かった――インターネットのなかでも外でも、そういうふうに嘆く人は大勢います。とくにわが日本は「失われた30年」と呼ばれる経済的停滞を経てきているわけで、「ああ、バブル
ロジック層の複雑化がもたらす問題と解決への模索 PMFを達成するためには多くのことを迅速に実行する必要がある。スタートアップでは時間をかけていられないため、スピード感が非常に重要である。プロダクトが一定のシェアを獲得した後も、その優位性を保ち続けるためにスピード感が不可欠なのだ。 ただし、創業当初からのスピード感と、その後のスピード感は大きく異なると感じた。それは同社がDDDを導入するきっかけにもなった。「プロダクトとしての優位性を保つためには仕様変更や新機能の追加を迅速に行うことが求められる。重要なのはスピード感の維持であると感じています」（畠中氏） 仕様変更と改善のスピードを高めるには、コードの変更が容易であることが欠かせない。どこを変更するべきかが明確であり、変更によって何が起こるかが予測できる状態であれば、スピードを保つことができるだろう。さらに詳しく見ると、仕様変更においては、各
Last Updated on 2024-10-14 07:41 by admin 2024年10月12日、VentureBeatは大規模言語モデル（LLM）の限界と可能性に関する記事を公開した。この記事では、LLMが1970年代の技術を超えられない問題に直面しているが、それでも価値があると主張している。 記事の中心となる「ストロベリー問題」は、ChatGPTやClaudeなどのLLMが単純な文字数カウントタスクで失敗することを示している。具体的には、「strawberry」という単語に「r」が3つあることを正確に認識できないという問題だ。 この問題は、LLMが人間のような「思考」ができないことを露呈している。しかし、MITのData to AIラボのKalyan Veeramachaneni氏とSarah Alnegheimish氏は、LLMの限界を認識しつつも、その活用方法を提案してい
注：本記事は新型コロナウイルス感染拡大後の情報を元にしています 今回は福岡ソフトバンクホークスの試合観戦のために北九州市民球場、および小倉競輪場、小倉競馬場を訪れた時の遠征記を紹介します。 今回はグルメを楽しみつつ、後半は門司港での観光を楽しみました。 福岡でも随一の観光スポットとあって、非常に充実した時間を過ごすことができました。 簡単な旅程は下記のとおりです。 １日目・北九州市民球場で試合観戦＋北九州グルメ ２日目・北九州グルメ＋門司観光 まとめ それではごゆっくりどうぞ！ １日目・北九州市民球場で試合観戦＋北九州グルメ 出発するのは羽田空港の栄えある1番搭乗口。 しかし残念ながらその分端っこで利便性は低いです。1番は1番じゃない。 チラリと見えるは日本最高峰富士山。 九州の海はキレイですね。関東の海は底が見えないから…。 北九州に到着。メーテルウウウウウ こちらが北九州空港。 福岡空
株式会社TRADE INNOVATION（トレードイノベーション）が運営する株の学校123は、推奨銘柄と投資アドバイスを行う投資助言サービスです。 沙織 株の学校123では、会社員でも株で勝てるために開発された「123理論」を伝授しているようです♪ ネット上では、「株の学校123は利用料金が高すぎる」「講師陣のレベルが低い」という評判が多く見られていたことから、悪質な株式投資スクールなのでは？という疑問の声も少なくないようです。 どうやら株の学校123では、「株の学校123の元生徒が講師になっている」ようで、代表の泉 幹氏以外の講師全員が元生徒であることが分かりました。 桐生 元生徒にお金を払うってどうなんだろう（笑） 株の学校123の運営会社、株式会社トレードイノベーションについて調査してみましたが、怪しい点や悪質な点は見つかりませんでした。 吉村 本社所在地はレンタルオフィスではなく、
ハピボは、株式会社ビギニングが運営する競艇予想サイトです。 ハピボのサイト内を見てみると、業界トップクラス！というワードがたくさん掲載されており、一見すると予想精度に自信のあるサイトに見えるかもしれません。 ユカリ ハピボのサイト内に掲載されていた文言がこちら。 業界トップクラス！つかいやすい わかりやすい 業界トップクラス！平日も休日も、朝から夜まで提供！ 業界トップクラス！チャットで疑問を速攻解決！ 業界トップクラス！登録その日からご期待いただけます！ 桐生 至極当然のことしか書かれていないんだがｗ 小暮 業界トップクラスがどうのこうのってより、競艇予想サイトを運営するうえで当たり前のことが書かれてるって感じだなｗ しかしネット上では「ハピボは悪質」「詐欺サイト」といった評判もチラホラ確認されており、「ハピボは悪質な競艇予想詐欺サイトなのでは？」と不安に感じている人も少なくないようです
エリートアスリートは一般的な人々よりも賢い
「一流のアスリートは優れた身体能力を持っていたから成功した」と考えている人は多いかもしれません。ところが、実のところアスリートが成功する要因は身体能力だけでなく、「優れた認知能力」も重要であるとセントラルクイーンズランド大学の心理学講師であるアントニオ・フィルゲイラス氏が解説しています。 Elite athletes are generally smarter than us – cognitive sciences can explain why https://theconversation.com/elite-athletes-are-generally-smarter-than-us-cognitive-sciences-can-explain-why-234665 MLB史上に残る名選手であるベーブ・ルースは、打者として通算714本塁打・2213打点・OPS1.164といった優れ
地方自治体の先進事例が日本を救う!? 地方自治体から事例が生まれる5つのヒント【フィラメント角勝さんインタビュー】 | 宙畑
地方自治体の先進事例が日本を救う!? 地方自治体から事例が生まれる5つのヒント【フィラメント角勝さんインタビュー】 地方自治体で先進事例が生まれることが日本を元気にするのではないかとこれまでの取材を通して考えた宙畑編集部。大阪市役所職員として20年間勤務され、現在は新規事業創出支援および関連する人材・組織開発を担うフィラメントを創業された角勝さんに、地方自治体で先進事例が生まれるヒントを伺いました。 先日、国土交通省様に災害を未然に防ぐための盛土を監視する手段として衛星データを利用する際のガイドラインを制作した件について取材を実施した際、制作のきっかけは「先進的な取り組みを行っていた地方自治体の事例」だったと教えていただきました。 そこで、「地方自治体の課題を解決する先進事例がもっと増えれば、47都道府県に横展開できて日本全体が盛り上がる事例がどんどん増えるのでは？」と考えた宙畑編集部。ま
Last Updated on 2024-10-11 07:10 by admin Mozillaは2024年10月9日、Firefoxブラウザに影響を与える重大な脆弱性CVE-2024-9680が積極的に悪用されていると発表した。この脆弱性はアニメーションタイムラインコンポーネントにおけるuse-after-free（解放済みメモリ使用）の問題で、攻撃者がコンテンツプロセス内でコード実行を達成できる可能性がある。 ESETのセキュリティ研究者Damien Schaefferによって発見されたこの脆弱性は、Firefox 131.0.2、Firefox ESR 128.3.1、Firefox ESR 115.16.1で修正された。CVSSv3スコアは9.8（最大10）と評価され、攻撃の複雑さは低く、特権やユーザーの操作なしで悪用可能とされている。 米国サイバーセキュリティ・インフラストラク
Google DeepMind共同創設者のデミス・ハサビス氏らがノーベル化学賞を受賞、「AlphaFold」などタンパク質構造予測AIの研究が高く評価される
by George Gillams スウェーデン王立科学アカデミーが、ワシントン大学のデビッド・ベイカー教授、Google DeepMindの創設者であるデミス・ハサビス氏とシニア・リサーチ研究者のジョン・M・ジャンパー氏に2024年度のノーベル化学賞を授与すると発表しました。授与理由は「計算によるタンパク質設計・タンパク質構造予測に対して」で、大規模な計算によるタンパク質設計や構造解析、AIによるタンパク質構造の予測が評価されました。 Press release: The Nobel Prize in Chemistry 2024 - NobelPrize.org https://www.nobelprize.org/prizes/chemistry/2024/press-release/ BREAKING NEWS The Royal Swedish Academy of Scienc
「Halloween is…」は、ハロウィーンの起源や伝統、楽しみ方を子供たちにわかりやすく紹介する絵本です。著者のゲイル・ギボンズさんが描く、カラフルでユーモラスなイラストと共に、この秋のお祭りの魅力を存分に味わえる一冊です。 ここでは「Halloween is…」の簡単なあらすじの他、文中に出てくる日常の英語表現、おすすめの読み聞かせ動画のご紹介や日本語訳などを掲載しています。 お話のあらすじこの絵本は、ハロウィーンの歴史から始まり、現代の楽しみ方まで、幅広くカバーしています。古代の人々が冬の到来を恐れていた時代から、教会の祝日として定着していく過程、そして今日のお祭りとしての姿まで、時代を追って説明しています。 カボチャのジャック・オ・ランタン、仮装、トリック・オア・トリート、パーティーなど、ハロウィーンの象徴的な要素が次々と登場し、子供たちの興味を引きつけます。また、コウモリや黒猫
ラストソリューション: Rustでのモバイルクロスプラットフォーム開発方法（Android/iOS間のコード共有）
こんにちは。私はLINEアプリのiOSエンジニア、Zang Zhihaoです。私たちのチームはLINEアプリの公式アカウント機能やLINE公式アカウントアプリを担当しています。今日は、iOS/Androidプラットフォーム間でのコード共有についてお話しします。 プラットフォーム間でのコード共有は、ソフトウェア開発コミュニティで長い間ホットな話題となっています。しかし最近では、モバイル開発の分野でさらに注目を集めています。古い技術であるXamarinは最近のニュースにはあまり登場しませんが、Kotlin Multiplatformについての話がiOSDCやDroidKaigiでは、少なくとも最近3年間は常に取り上げられています。FlutterやReact Nativeの技術についてもよく話題になります。しかし、今日は別の、Rustの話をしたいと思います。 Rustはモバイル開発のための明白な
こんにちはantakaです。 2024年9月25日、中国が発射したICBM（大陸間弾道ミサイル）は、単なる軍事訓練として説明されていますが、その背後にはより複雑なメッセージが含まれている可能性があります。 この発射は中国の核抑止力の強化を示すものであり、また国際的な安全保障のバランスに対する挑戦とも捉えられます。 ここでは、今回の発射が何を意味するのか、そしてICBMについて短くわかりやすく解説していきます。 中国のICBM発射の意図とは？ ICBMとは何か？ 今回の発射が示唆するもの 結論 https://youtu.be/zpb6tk7nUAo 中国のICBM発射の意図とは？ 中国政府は今回のICBM発射を「定例の訓練」として説明し、特定の国や地域を標的にしたものではないとしています。 しかし、このような発表は表面的なものであり、発射のタイミングや規模を考慮すると、他の国々、特にアメリ
このブログでは、ダルフール危機に関連して、スーダンの危機について経時的に追ってきた。久しぶりに現況をまとめておきたいと思う。 スーダンの危機は現在、世界の他の課題と同様、国際政治と呼ばれるものの二面性と矛盾の象徴となっている。さらに言えば、これに「無関心」という深刻な問題も伴っている。現在世界では、一方で平和と人道支援を訴えながら、実際には他方で紛争を煽る勢力を支援している。こうした問題の中心軸となるのは、当然のことのようだが、複数の関係者の利害関係である。なかでも、スーダン危機では米国とUAEの複雑な関係性が軸になりつつある。 まとめ スーダン危機は国際政治の矛盾を象徴し、その現実的な問題は米国とUAEの複雑な関係が中心となっている。 現状、国際社会では、表面上は平和を訴えながらも、実際には紛争を煽る勢力への支援が続いており、人道危機が深刻化している。 国際社会には、包括的な和平協定の策
Last Updated on 2024-10-15 08:13 by admin OpenAIが実験的フレームワーク「Swarm」を発表した。Swarmは、AI エージェントのネットワークを調整するために設計されたフレームワークで、開発者に相互接続されたAIネットワークを作成するための青写真を提供する。このフレームワークにより、AIエージェントが通信、協力し、複雑なタスクを自律的に処理することが可能になる。 OpenAIの研究者シャイアマル・アナドカット氏はTwitterで、Swarmは公式のOpenAI製品ではなく、実験的なコードであり、本番環境での使用や保守は想定されていないと述べた。 Swarmの潜在的なビジネス応用は広範囲に及ぶ。企業は異なる部門向けに特化したAIエージェントのネットワークを作成し、市場動向の分析、マーケティング戦略の調整、販売リードの特定、カスタマーサポートの提
AppleのデザイナーとしてiPhoneなどの主要プロダクトをデザインしたジョナサン・アイブがOpenAIと共同でAIデバイスを開発していることを認める
AppleのiMac、MacBook、iPod、iPhone、iPadといった主要プロダクトのデザインを担当してきたことで知られるデザイナーのジョナサン・アイブ氏が、AI企業のOpenAIと新デバイスの開発に取り組んでいることを認めました。 Inside Jony Ive’s Life After Apple and His LoveFrom Design Business - The New York Times https://www.nytimes.com/2024/09/21/technology/jony-ive-apple-lovefrom.html Jony Ive confirms he’s working on a new device with OpenAI - The Verge https://www.theverge.com/2024/9/21/24250867/
2019年2月20日、私は南太平洋のソロモン諸島・マライタ島で、調査先から帰るための乗り合いトラックを探していた。この島では個人や企業が所有するトラックが実質的な公共交通機関となっており、料金を払えば誰でも乗ることができる。待っても待っても来ないので道沿いに歩いていると、フロントガラスにダビデの星が描かれたトラックが後ろからやってきた。同行する友人が、助手席に座るサングラスをかけたひげ面の男を指さし言った。「あれが予言者マイケル・マイリアウ。このトラックは彼の支持者のものだ」。 荷台によじ登ると、意外なことが待ちうけていた。現地の人々に交じって、ヘブライ文字が書かれたキャップをかぶった若い白人の男が一人ぽつんと座っていたのだ。話を聞くと、彼はイスラエル出身のバックパッカーで、マライタ島でビレッジステイする計画なのだという。 「ステイ先はインターネットで見つけた。これからこの人たちの村に一週
Amazon Cedric: 社内専用AIチャットボットで従業員の生産性向上へ – ChatGPT禁止の裏側 - イノベトピア
Last Updated on 2024-10-02 09:30 by admin アマゾンが社内向けAIチャットボット「Cedric」を導入 アマゾンは2024年9月末頃、社内向けAIチャットボット「Cedric（セドリック）」を導入した。これは従業員の生産性向上を目的としており、質問への回答や文書の要約、アイデアの創出などに使用できる。 アマゾンは従業員に対し、ChatGPTなどの外部AIツールの使用を禁止し、代わりにCedricの使用を推奨している。内部文書によると、Cedricは「ChatGPTよりも安全」とされている。 Cedricは、アマゾンの社内文書である6ページのメモを「数秒で」作成したり、会議メモをメール用に変換したりすることができる。また、Word文書、PDFファイル、Excelスプレッドシートをアップロードし、その内容について上級管理職の視点からのフィードバックを得る
昨日は清澄白河（東京都江東区）を散歩しました。 清澄白河は江戸時代に運河がつくられました。昭和までは木材の資材を運ぶいかだが中継する場所として栄えたようです。 「清澄白河」という駅が出来たのは2000年です。駅がないころは、資材倉庫が点在する殺風景な地帯だったと思います。 一方、物資の輸送の中心は水運からトラックへと変わります。 資材倉庫として存在価値を提供した清澄白河は、ロジスティクスの変化により廃れていきました。 そこに目をつけたのが、倉庫のリノベーションによる活用です。 1995 年に東京都現代美術館が開館。会館に伴い運 河沿いに存在した倉庫が、物置として使われたり、リ ノベーションされてギャラリーになったりと、倉庫の 再活用が始まった。倉庫をリノベーションし、自社で焙煎を行うカフェもあらわれた。木材貯蔵用であった倉庫は排煙ダクト設置に必要な高さを備えており、また、排煙の際にはダクト
■ 豚ロースの生姜焼 鬼に金棒の半自家製タレ サラリーマンの人気昼めしで必ず上位に位置する " 豚肉の生姜焼 " ってやつですね。エロおやぢも商社で外回りの営業技術に携わっていたころはよく食したものです。たいていの食堂にラインナップされている献立ですし、他の定食類に比べて安価な設定だったものが多く、がっつりハラいっぱい食べるにはもってこいの昼ゴハンでした。 よくしたもので、やっぱりときどきムショーに食べたくなるものです、現行メニューですから特にノスタルジアはありませんけれど、食べながらふと当時のことを思い出してみることもありますね。 国産豚肉ロース生姜焼用ご家庭の食事やお弁当のオカズにも向いているせいか、スーパーでもこうしたスライスがよく廉売されています。サスガにこの物価高騰で100g単価が￥100を切るケースは少なくなりましたが、それでも一部の廉価な輸入食肉と比較しますと、国産の豚肉でこ
以下の文章は、Access Nowの「Why human rights must be at the core of AI governance」という記事を翻訳したものである。 Access Now OpenAIのChatGPTが2022年に登場して以来、いわゆる生成AIをめぐる熱狂が世界中を席巻し、規制当局はその弊害や行き過ぎを抑制しようと躍起になっている。だが、決して目新しい現象ではない。すでに2018年、機械学習の進歩によってAIへの期待が高まった際にも、同様に実効性のない「AIの倫理ガイドライン」や自主規制案の激増が見られた。当時、Access Nowをはじめとする団体は強制力のある人権に基づく法的枠組みを求め、RightsCon 2018でトロント宣言を発表し、機械学習システムにおける平等と非差別の権利の尊重を訴えた。それ以来、デジタルライツ団体は一貫して人権を中心に据えたAI
![なぜAIガバナンスの中核に「人権」を据えなければならないのか | p2ptk[.]org](https://cdn-ak-scissors.b.st-hatena.com/image/square/a8eddc776163a98221a90c2a7193f273a03a843f/height=288;version=1;width=512/https%3A%2F%2Fp2ptk.org%2Fwp-content%2Fuploads%2F2024%2F09%2FUN-Digital-Compact-Header.jpg)
Gradio 5登場：Hugging Faceが革新的AIアプリ開発ツールを公開、開発者の可能性を拡大 - イノベトピア
Gradio 5登場：Hugging Faceが革新的AIアプリ開発ツールを公開、開発者の可能性を拡大 Last Updated on 2024-10-10 08:40 by admin 機械学習プラットフォームHugging Faceは、AIを活用したウェブアプリケーション構築ツール「Gradio」の最新バージョン「Gradio 5」をリリースした。Gradio 5は、開発者がAIモデルを迅速にデプロイし、インタラクティブなデモを作成するためのオープンソースライブラリだ。 主な新機能として、以下が挙げられる： パフォーマンスの向上：ページロード時間が50%以上短縮された。 新しいUIコンポーネント：チャットボックス、3Dモデルビューア、PDFビューアなどが追加された。 カスタマイズ性の向上：CSSとJavaScriptによるカスタマイズが容易になった。 モバイル対応の改善：レスポンシブデ
8月の終わりには、既に店頭に並べられていたゴード。日本ではきっと“パンプキン(かぼちゃ)”と呼ばれているだろうこれらは、technically, パンプキンとは違う。まあ、どれも瓜ファミリーではあるが、ゴードだったり、スクワッシュだったり、食用だったり、食用ではないデコレーション系だったり、実はもう少し複雑だ。 こちらはゴードの数々。 こちらも多分、ゴードやスクウァッシュ さて、今月は、夫の外出が多い月だった。外出というか、ウィークエンドの小旅行。 第1週目の週末は、シカゴのおばさんを訪ねに出掛けて行った。私のミニクーパーを貸してあげたので、さぞ楽しいドライブであっただろう。😛 おばさん宅ではいとこ会なるものが行われて、皆さんspouse(配偶者)連れで集まったのだが、我が家の野獣たちを連れては行けないし、ドッグシッターも居ないしで、私はお家でお留守番。とっても残念〜〜😭 夫のお母さん
ORION（オリオン）は、ベトナムに所在地を置くHUY BAC TRADING APPAREL COMPANY LIMITEDが運営しています。 特定商取引法に基づく表記によると、オリオンはポイント制のメール占いサイトとして運営されているようですが、占いサービスが提供されている様子は確認されていません。 ユカリ オリオンのサイト内にいる鑑定師にメールを送ってみたけど、一度も返信きてないわよ。 結論からお伝えしますと、支援サイトORION（オリオン）は、高額報酬の受け渡しをエサに、正会員費用や送金システム構築費などの名目でお金を要求する支援詐欺の可能性が考えられるでしょう。 吉村 支援詐欺とは、「支援金の譲渡」や「資産の譲渡」などをエサに、「手数料や税金」といった名目でお金を騙し取る詐欺の手口だ。 オリオンでは、長谷部光という人物から「18歳の娘アイの話し相手になってくれたら、お礼に2億円の
こんばんは～さかなです🐠 今回は汚い話になります。ご注意くださいませ！ 犬用のフードって、子犬用・成犬用・シニア用・と分かれていますよね。 うちのワンコは現在0歳８か月。 ネットで調べたところ、小型犬はそろそろ成犬用に切り替える時期、とあり、先日から成犬用にしました。 成犬用は粒が大きく、「カリッカリッ」という食べている音をきくとお腹がすきます（笑） その成犬用のフードを買うときにですね、たまには缶詰とかも与えてみようかな？喜ぶんじゃないかな？と思って１缶買ってきたわけです。 かなり大きめの缶で100円。 タッパーに入れて、一食にスプーン１杯くらいのせてあげてました。 「んまい～！！」と思っているのが見ているだけで分かりました🐶 可愛いです（親バカ） しかし問題が… 💩がめっちゃクサイ！！ もー今までの３倍くらいくさい！ 最初は缶詰のせいだと分からずしばらくあげてたんですが、途中から
今回の「要求概要生成」部における「OpenAI o1」モデルへの対応によって、日本語における要件定義書の生成・修正の分野において、これまでトップだった「Claude 3.5」を上回る性能が実現する。 ただし、「要求概要生成」を除く他の部分はすべて「Claude 3.5 Sonnet」を利用するとともに、現在「OpenAI o1」は1分あたり20アクセスに制限されているため上限に達しやすく、アクセスが集中して動作しない場合のリカバリプログラムを、現在実装しているという。 「OpenAI o1」で用いられている「GPT o1」は、人間の博士レベルの思考力と高いコーディング知識を有しており、高度な思考力によってより詳細な要件定義書を作成できる。また、問題を解決する際に思考の連鎖を使用することで、複雑な要件を細分化して処理するため、要件定義書の内容が論理的で一貫性のあるものとなる。 「Babel」
パーティーが終わって、中年が始まる 2024.09.17 公開 ポスト 「なぜ、みんなパートナーがいるのだろう？」40代独身男性が思う“恋”と“性”pha 最新刊『パーティーが終わって、中年が始まる』が話題の元「日本一の有名なニート」phaさん。シェアハウスで過ごした20代、30代を経て一人で暮らす40代。あらためて考える誰かと親密な関係になること。本書より抜粋してお届けします。 また、9月28日には、「phaさんはなぜ自分のことを正直に書けるのか？」講座を開催します。ご参加お待ちしています。 ひとりでいるのに慣れすぎた シェアハウスをやっているとき、取材などで「新しい家族のかたち」みたいに紹介されることが多かったのだけど、ずっと、そういうのじゃないのにな、と思っていた。訂正するのも面倒だったので、そこまで強く反発したわけではないけれど。 みんな、家族という概念がとても好きみたいだ。自分は
Character.AI: AIセラピストボットに心を開く若者たち – メンタルヘルスケアの新たな形 - イノベトピア
Last Updated on 2024-10-16 07:22 by admin Character.aiは、AIを活用したチャットボットプラットフォームで、ユーザーが架空または実在の人物をモデルにしたAIキャラクターと対話できるサービスを提供している。 このプラットフォームでは、「Psychologist（心理学者）」と名付けられたボットが特に人気を集めており、2023年11月以降だけで1800万件のメッセージをやり取りし、合計で7800万件のメッセージを記録している。 Psychologistボットは、ユーザー「Blazeman98」によって約1年前に作成された。Character.aiの全体的な利用者数は1日あたり350万人で、主に16歳から30歳の若年層が利用している。 しかし、このようなAIセラピストボットの使用には倫理的な問題が指摕されている。例えば、ボットが十分な情報収集な
BetaMindの吉田です。 2022年より創業事業として取り組んできたSaaS事業「Vidbase」について、2025年3月での新規サービス提供を終了する旨を決定いたしました。 自身・自社としての振り返りも兼ねて、学びをNoteに残しておきたいと思い、書き記しています。 時系列の整理振り返りにあたり、簡単に時系列を整理しておきます。下記のような時系列でした。 2021年7月：事業構想、ヒアリング開始 2021年10月：ソフトウェア開発開始 2022年1月：α版リリース 2022年10月：β版リリース、資金調達リリース 2024年7月：新規契約受付停止、サービス提供終了決定 以下では、主に事業やプロダクト自体（What）の観点と、自身や組織としての事業への取り組み方（How）の観点に分けて、整理をできたらと思います。 事業・プロダクト観点の学び [What]市場の大きさどんな新規事業のノウ
日本マイクロソフトは2024年9月12日、「Microsoft Digital Trust Summit 2024」を開催した。セキュリティに多額の投資をし、クラウドやオンプレミスでさまざまなソリューションの統合、AI活用を推進する同社が“トラスト”をキーワードにセキュリティの現在と将来を語るセッションを実施した。本稿は基調講演の様子をレポートする。 Copilotの進化が止まらない 生成AIがチームメンバーになる未来 日本マイクロソフトの岡嵜 禎氏（執行役員常務 クラウド＆AIソリューション事業本部長）ははじめに、同社が考えるAIのポイントとして「AIを使う」「AIを創る」「より安全なAI」の3つを挙げた。 岡嵜氏は「AIを使う」部分について「Microsoftは既存のソリューション向けに生成AIチャットbot『Microsoft Copilot』（以下、Copilot）を展開しており、
〝流しのEM〟として、複数企業の採用・組織・制度づくりに関わる久松 剛さんが、エンジニアの採用やキャリア、働き方に関するHOTなトピックスについて、独自の考察をもとに解説。仕事観やキャリア観のアップデートにつながるヒントをお届けしていきます！ ひと昔前のプログラマーといえば、長時間労働が当たり前のブラックな仕事の代表格でした。そのため、「30代も半ばを過ぎると、体力的にも精神的にもツラくなる」という、いわゆる「プログラマー35歳定年説」がありました。 しかし、「働き方改革」の波がIT業界全体を覆い尽くした今日においては、この説を耳にする機会は急速に減り「生涯現役プログラマー」を貫く人も珍しくありません。 プログラマーにとって「年齢」は、さしたる障害ではなくなったように見えますが、本当でしょうか。そこで今回は40代、50代の中高年プログラマーに立ちはだかる「年齢」の壁と、突破するポイントにつ
■いわゆる日本の魔法少女アニメというのはどの作品が起源でどういう系譜なのか？【ゆるまとめ】 - アニメガタリ
『劇場版 魔法少女まどか☆マギカ＜ワルプルギスの廻天＞』が予定されているまどマギ ✨魔法少女まどか☆マギカ アルティメットまどか ノンスケール プラスチック製 塗装済み完成品フィギュア 再販分 筆者は「まどマギ」を高く評価しているのですが 元ネタの魔法少女アニメはそれほど見れてはいません ということで、日本の魔法少女アニメはどういう系譜があるのか 調べて軽くまとめてみました！ ■いわゆる日本の魔法少女アニメというのはどの作品が起源といえる？ 日本の「魔法少女アニメ」の起源として一般的に認識されている作品は… 1966年に放送された『魔法使いサリー』ではないでしょうか この作品は、魔法少女ジャンルのパイオニアとして広く認められており、 少女が魔法の力を使ってさまざまな問題を解決するという設定を確立しました。 魔法少女アニメの起源的作品 1. 『魔法使いサリー』（1966年） ✨アマゾンで視聴
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
CVCワードで英語の基礎力UP！幼児向けwords listと無料フラッシュカード
アイデアの90％は失敗する。だから覚えておきたい「低リスクで成功を見極める戦術」2つ | ライフハッカー・ジャパン
ソフトバンクホークス観戦での期待と興奮 #野球 - 育児猫の育児日記
マイクロソフト10月更新：118件の脆弱性修正、2件のゼロデイ攻撃に緊急対応 - イノベトピア
Pythonで始めるMapReduceデータ処理：中級者向け - Qiita
なぜ、最近のアニメやマンガはこんなに面白くなってしまったのか？ - Something Orange
2つのSaaSをフルスクラッチで開発して分かった、開発スピード向上を実現するアーキテクチャ選定の勘所
ChatGPT・Claude、70年代の難問に苦戦！ LLMの限界と可能性を探る - イノベトピア
北九州グルメ＋小観光旅～小倉から門司へ～【遠征記その６４】 - スタ辞苑〜全国スタジアム観戦記〜
株の学校123は悪質な投資顧問？詐欺的な投資スクール？返金方法を解説
ハピボ(株式会社ビギニング)は悪質な競艇予想詐欺？返金方法まで解説
Firefox緊急アップデート：重大なゼロデイ脆弱性に対処、即時更新を推奨 - イノベトピア
英語絵本『Halloween is…』で広がるハロウィーンの世界
中国のICBM発射、何を意味するのか？核抑止力と国際的影響を分析 - smileブログ
スーダン危機の現状をどのように見るか？: 極東ブログ
OpenAI Swarm：複数AIエージェントの協調を実現する実験的フレームワーク登場 - イノベトピア
南太平洋の「ユダヤ人」──他者との共存をメラネシア的に考える ひろがりアジア（14）｜橋爪太作
清澄白河を散歩して思ったこと - 叡智の三猿
豚ロースの生姜焼 - artなfoodsのDiary
なぜAIガバナンスの中核に「人権」を据えなければならないのか | p2ptk[.]org
Life is full of choices. - My Rustic Style
ORION(オリオン)は悪質な支援詐欺？長谷部光は詐欺師？返金方法を解説
犬の💩の件。 - ゆらゆらただよう さかな日記
要件定義システム生成AI「Babel」、「要求概要生成」部が最新のOpenAI o1モデルに対応
「なぜ、みんなパートナーがいるのだろう？」40代独身男性が思う“恋”と“性”｜パーティーが終わって、中年が始まる｜pha
事業撤退からの学びとBetaMindのこれから｜yskn
集英社はどのようにして「もはやパスワードすら入力しない」世界を実現したか？
採用されない中高年の現実とは？ 40代50代プログラマーが「年齢の壁」を突破する秘策 - エンジニアtype | 転職type