ブックマーク / www.itmedia.co.jp (36)

  • 数学の「=」(等しい)とはどういうことか? 英ICL教授が発表 「コンピュータの登場で定義が曖昧に」

    このコーナーでは、2014年から先端テクノロジーの研究を論文単位で記事にしているWebメディア「Seamless」(シームレス)を主宰する山下裕毅氏が執筆。新規性の高い科学論文を山下氏がピックアップし、解説する。 X: @shiropen2 英インペリアル・カレッジ・ロンドン(ICL)の教授であり、数学者のケビン・バザードさんの単著論文「Grothendieck’s use of equality」は、数学者が等式の概念をどのように使用しているか、そしてそれが数学の形式化を試みる際にどのような影響を与えるかについて議論した研究報告である。 バザードさんは「現状、数学者は等式の概念を曖昧に使っており、近年のコンピュータプログラムによる証明(形式化)においてその曖昧さが障害になっている」と指摘する。 「=」(等号)にみる一般的な等式の定義は、両辺が同じ数学的対象を表しており、一方から他方への論

    数学の「=」(等しい)とはどういうことか? 英ICL教授が発表 「コンピュータの登場で定義が曖昧に」
    hocopi
    hocopi 2024/06/10
  • 最高裁、メールのBCCとTOを間違え漏えい

    最高裁判所は6月3日、メールの送信時にBCCとTOを誤り、メールアドレスなどが漏えいしたと発表した。司法試験に合格した司法修習生に貸し出す修習資金を借りている人に向け、住所変更がある場合は届け出てほしい旨を通知するメールでミスがあったという。 間違えがあったのは3日に送信したメール。2件のメールで間違え、各450人(計900人)の氏名、メールアドレス、修習資金に関するIDが、メールを受け取った人同士で確認できる状態だったという。 最高裁は「関係者にはご迷惑とご心配をおかけしておりますことをお詫び申し上げます。今後の対応につきましては、できる限り速やかに原因を分析した上で、その分析結果を踏まえ、再発防止策を検討するとともに、情報が漏えいした方への御説明についても、迅速に検討し、対応していきたい」と謝罪している。 また、最高裁は今回の事案を「修習資金の被貸与者に対する不要な個人情報の送信につい

    最高裁、メールのBCCとTOを間違え漏えい
    hocopi
    hocopi 2024/06/05
  • Xのエンジニア、「いいね」タブを全ユーザーで非表示にするとポスト

    米Xで一般ユーザーのプロフィールから「いいね」を表示するタブが消えているといういくつかのポストを受け、同社のエンジニアリング担当ディレクターのワン・ハフェイ氏は5月22日、「はい、いいねを非公開にしています」とポストした。 ハフェイ氏は非公開にする理由として、「公開いいねは間違った行動を助長します。たとえば、“荒らし”(嫌がらや差別的なポスト)や自分の印象を守るためにインパクトのあるポストにいいねするのをためらう人はたくさんいる」と説明した。 いいねの来の役割である、ユーザーがどんなポストにいいねしたかに基づく「For You」フィードの品質向上は継続するとしている。 この投稿に対し、X(旧Twitter)の共同創業者で元CEOのジャック・ドーシー氏が「いいねとブックマークの違いはなんですか?」とコメントし、ハフェイ氏は「いいねはいいねした人とされた人(いいねされたポストの投稿者)には表

    Xのエンジニア、「いいね」タブを全ユーザーで非表示にするとポスト
    hocopi
    hocopi 2024/05/23
  • 「動画で助かる」「IT基礎知識が一通り学べる」──各社が公開した新人エンジニア向けの研修資料が話題に 人気資料まとめ

    IT企業が社内の新人エンジニアに向けた研修資料や動画を無償公開し、話題になっている。学べる内容はIT業界文化からゲームエンジン「Unity」を使ったゲーム開発までさまざまで、中には150ページ超のスライドや5時間超の動画もある。 ネット上では「初心者(エンジニア)の指針になる」「IT基礎知識の一通りのことが身につく」「動画があって助かる」などと評判だ。改めて公開内容と目的をまとめた。 サイボウズ、新人ITエンジニア向けに「IT業界文化」など サイボウズが7月20日に公式ブログで、4月から6月にかけて行った研修の資料を公開した。7月30日時点でブログへの「はてなブックマーク」(以下、はてブ)は約1950件、Facebookの「いいね」は約590件付いている。同社は“駆け出しエンジニア”向けとしている。 (関連記事:サイボウズの“駆け出しエンジニア”向け研修資料が話題 Webアプリ開発やIT

    「動画で助かる」「IT基礎知識が一通り学べる」──各社が公開した新人エンジニア向けの研修資料が話題に 人気資料まとめ
    hocopi
    hocopi 2024/03/22
  • ドンキ、ほとんど「革靴」なスニーカーが大ヒット 軽くて疲れにくいビジネスシューズが誕生した背景

    ラクすぎビジネスシューズは「革のように見えるけど、圧倒的に軽くて疲れにくい、まるでスニーカーのような履き心地」を目指して開発された商品だ。デザインは全3種類あり、サイズはそれぞれS(25.5センチ)、M(26.5センチ)、L(27.5センチ)を用意した。 軽量かつ伸縮性の高い合成皮革をアッパー(の底を除いた上の部分)に使用。底は軽くて弾力のあるEVA素材としている。EVA素材は樹脂素材の一種で、サンダルや長などによく使われている。こうした工夫で、一般的なビジネスシューズより軽い261グラムを実現した(Mサイズ、片足の重量)。月足氏は「一般的なビジネスシューズは400~500グラム、一般的なスニーカーは300~350グラムです。履いた瞬間に『軽い』と感じてもらえるように、スニーカーより軽くしました」と説明する。

    ドンキ、ほとんど「革靴」なスニーカーが大ヒット 軽くて疲れにくいビジネスシューズが誕生した背景
    hocopi
    hocopi 2024/02/28
  • 新卒向け「統計学の基礎」100ページ超 SaaS企業が無料で資料公開

    資料では、統計学がどんな学問なのか、統計学を学ぶことにどんな意義があるのかという初歩から解説。その上で統計学を「記述統計学」と「推計統計学」に大別し、それぞれの特徴や手法、注意点を説明している。 今回の無料公開は、ブレインパッドで働く有志のデータサイエンティストが技術資料などを外部に発信するプロジェクト「OpenBrainPad」の一環。「統計学をこれから学ぶ人も復習する人もぜひ利用してほしい」(ブレインパッド)という。同プロジェクトでは、過去にはプログラムのバージョンを管理するシステム「Git」のハンズオン(実際に手を動かして学ぶ)資料なども公開している。 関連記事 総務省「誰でも使える統計オープンデータ」無料オンライン講座スタート 総務省が「誰でも使える統計オープンデータ」を開講。統計オープンデータを活用したデータ分析の手法を解説する無料講座だ。 AIの基礎をZoomで講義 新人研修用

    新卒向け「統計学の基礎」100ページ超 SaaS企業が無料で資料公開
    hocopi
    hocopi 2023/09/21
  • 「なぜ私たちはいつも締め切りに追われるのか」──東大松尾教授が2006年に出した論文が話題

    なぜ私たちはいつも締め切りに追われるのか──そんなタイトルの論文がX(元Twitter)上で話題になっている。筆者は、日AI研究の第一人者である東京大学の松尾豊教授。そんな松尾教授が産業技術総合研究所の研究員だった頃に書いた研究報告だ。 内容はタイトルにあるように、研究者がいつも締め切りに追われる理由を探るというもの。序論では「余裕をもって早くやらないといけないのは分かっている。毎回反省するのに、今回もまた締め切りぎりぎりになる。なぜできないのだろうか? われわれはあほなのだろうか?」と言及。研究者が創造的な仕事をするために、締め切りがいかに重要な要素になっているか解析するとしている。 研究者の精神的ゆとりの単位「ネルー値」 論文では、研究者の精神的ゆとりを表す単位「ネルー値」を提案。1ネルー=「今日、このまま寝てしまっても締め切りなどに影響がない状態」であり、「n日寝てしまっても締め

    「なぜ私たちはいつも締め切りに追われるのか」──東大松尾教授が2006年に出した論文が話題
    hocopi
    hocopi 2023/08/12
  • 「ひろし」「かつお」も話題 三島食品「ゆかり」が返品の山からロングセラー商品になるまで

    関連記事 オオサンショウウオやジンベエザメ 水族館が「ぬいぐるみ」制作にこだわるワケ 最大9連休となる2023年のゴールデンウイーク、水族館に足を運ぶ人も多いのではないか。水族館といえば海の生き物の展示はもちろん、見逃せないのが、ぬいぐるみなどのグッズだ。単にかわいさをアピールするだけでなく、飼育員が監修し細かな部分までリアルに再現するなど、各館ごとに手の込んだこだわりが光る。水族館がぬいぐるみの制作にこれほど注力するのはなぜなのか。 「イケアのサメ」に「ニトリのネコ」家具大手ぬいぐるみ なぜ人気? 「イケアのサメ」に「ニトリのネコ」――。大手家具メーカーの”看板商品”とも言えるぬいぐるみの人気のわけを探る。 「シンプルイズベスト」だからいい コメダ珈琲店のモーニングが愛される納得の理由 名古屋発祥のコーヒーチェーン「コメダ珈琲店」といえば、どんな特徴を思い浮かべるだろうか。メニュー写真よ

    「ひろし」「かつお」も話題 三島食品「ゆかり」が返品の山からロングセラー商品になるまで
    hocopi
    hocopi 2023/05/08
  • 文章からマインドマップを自動生成「マインドマップAI」 ChatGPTで構築

    テーマや文章を入力するだけで、マインドマップを自動生成できるサービス「マインドマップAI」を、個人開発者の矢野さとるさんが4月11日に公開した。ChatGPTを活用したサービスだ。 マインドマップは、情報やアイデアを視覚的にまとめる手法。中心になるキーワードから枝分かれさせながら、キーワードを整理していく。 「マインドマップAI」にテーマと文章を入力すると、AIが内容を要約し、キーワードをピックアップしてマインドマップ化する。また、テーマだけ入力してマインドマップを自動生成することも可能。 生成したマインドマップは、画像(PNG)またはfreemind形式(.mm)でダウンロードできる。 関連記事 指定したテーマで、ChatGPTが自動作文「AI作文くん」 学生から社会人に対応 テーマや文字数を指定するだけで、それに合った作文をChatGPTで自動生成できるサービス「AI作文くん」が登場。

    文章からマインドマップを自動生成「マインドマップAI」 ChatGPTで構築
    hocopi
    hocopi 2023/04/12
  • マイナカードをなくしたら、具体的に何をしたらいいの?

    申請数が9600万を超えたマイナンバーカード。多くの人が持つカードになった一方、その取扱については、よく知られていないことも多い。マイナンバーマイナンバーカードの素朴な疑問について、マイナンバー制度やマイナンバーカード、マイナポイント事業に造詣が深い野村総合研究所の冨田勝己氏に聞いた。 マイナンバーカードをなくしたら、具体的には何をしたらいい? 保険証への利用なども進み、これまで以上に持ち歩くことが増えてきたマイナンバーカード。しかし、持ち歩くようになると心配なのが紛失だ。いざ、紛失してしまったときはどうしたらいいのだろうか? 「まずはマイナンバー総合フリーダイヤルに連絡をして、マイナンバーカードの機能停止手続きをされるのがいいです」と冨田氏。 マイナンバー総合フリーダイヤルは「0120-95-0178」で音声ガイダンス2番を選ぶと、紛失・盗難について連絡でき、そこから機能停止が行える。

    マイナカードをなくしたら、具体的に何をしたらいいの?
    hocopi
    hocopi 2023/04/10
  • Twitter、ブックマーク数も表示するように(iOSアプリで)

    RT数やいいね数はタップすると誰がRT、いいねしたかがリスト表示されるが、ブックマーク数はタップしても誰が追加したかは分からない。 Twitterは12月には「再生数」の表示を開始している。ブックマーク数の表示は、それに次ぐツイートの人気度の指標になりそうだ。 関連記事 Twitter、「再生数」アイコンの表示位置を変更(モバイルアプリでも間もなく) Twitter2022年12月から表示を始めた「再生数」(ツイートが見られた回数)のアイコンの位置がWebアプリで変わった。マスクCEOが行った投票ツイートでアイコンの位置を右にする投票が多かった。モバイルアプリでも間もなく変わる見込み。 「承認欲求モンスターになってしまう」 Twitterの閲覧数表示で波乱 広告・宣伝に影響も? 米Twitterが、投稿が見られた回数を表示する「View Count」機能を実装。日のユーザーの反応はさま

    Twitter、ブックマーク数も表示するように(iOSアプリで)
    hocopi
    hocopi 2023/03/17
    ブクマ1のネタツイがあると「自分だけがこの人の面白さに気づいてるんだな…」と理解者面できる
  • 一人暮らしのための食洗機、パナが発売 設置面積は「ほぼA4ファイルサイズ」

    パナソニックは1月17日、一人暮らしを想定した小型の器洗い乾燥機「SOLOTA」(ソロタ)を発表した。2月中旬に発売する。直販サイト「Panasonic Store Plus」での価格は3万7620円。月額1290円のサブスクリプションサービスの受付は17日から始める。 最大6点の器を一度に洗浄できる器洗い乾燥機。高温高圧の水流で器を洗うと同時に除菌し、洗浄後は送風で乾燥させる。使用する水量は約2.5L。そのまま器を保管できるという。 設置面積は310(幅)×225(奥行き)mmの「ほぼA4ファイルサイズ」。ディンクス向けに展開している「プチ洗」(NP-TCR4)の約半分という。 設置時のハードルになる分岐水栓は省き、着脱タンク式を採用。使用前に体からタンクを取り出し、蛇口から直接給水する形となっている。 パナソニックによると、食洗機はファミリー世帯向けの大容量タイプが主流の

    一人暮らしのための食洗機、パナが発売 設置面積は「ほぼA4ファイルサイズ」
    hocopi
    hocopi 2023/01/17
  • 「忘年会お断り文章生成AI」登場 約200文字の欠席理由を自動生成

    文章生成AIを開発するスタートアップ企業のデジタルレシピ(東京都渋谷区)は12月9日、忘年会を断りたい人のために、欠席理由を代理で考えるAIツール「忘年会お断り文章生成AI」を開発した。ユーザーが入力した欠席理由を基に、AIが約200字程度の“お断り”の文章を生成する。利用には無料の会員登録が必要。 生成する文章の雰囲気は「丁寧」「カジュアル」「大胆」から指定できる。例えば「両親が沖縄からやってくるから」と入力し、「丁寧」な雰囲気で文章を生成するよう指示したところ、以下のような文章を生成した。 「私は、両親が沖縄から遊びに来るという特別な家庭の事情で、会社の忘年会に出席できないことをお知らせします。私にとって、両親の訪問はとても意義深く、個人的なものなので、何があっても欠席することはできません。家族と一緒に過ごすことはとても大切なことなので、とても楽しみにしています。社員の皆さんは私の出席

    「忘年会お断り文章生成AI」登場 約200文字の欠席理由を自動生成
    hocopi
    hocopi 2022/12/10
  • Twitter、1ツイートに動画、GIF、画像を混ぜて4つまで添付できるように

    Twitterは10月5日(現地時間)、1つのツイートで4つまでの動画、画像、GIF(以下、「ビジュアルコンテンツ」)をシェアできるようにしたと発表した。既にAndroidおよびiOSアプリで利用できる。 例えば、以下のツイートのように雨が降っているGIFを眺めるカーミットの画像といった遊びもできる。 Twitterはこの他、スポーツメディアであればゴールの決定的瞬間の画像と動画を並べる、コスメ系YouTuberであればメイクのプロセスを示す動画と完成画像を並べるなどの活用例を紹介した。

    Twitter、1ツイートに動画、GIF、画像を混ぜて4つまで添付できるように
    hocopi
    hocopi 2022/10/06
    ようやっとる
  • MinecraftをAIがプレイ、10分で「ダイヤモンドのツルハシ」を高速作成 米OpenAIが技術開発

    Innovative Tech: このコーナーでは、テクノロジーの最新研究を紹介するWebメディア「Seamless」を主宰する山下裕毅氏が執筆。新規性の高い科学論文を山下氏がピックアップし、解説する。 米OpenAIの研究チームが開発した「Video PreTraining (VPT): Learning to Act by Watching Unlabeled Online Videos」は、人間がプレイするMinecraft(マインクラフト)の映像から複雑な動作を学習するモデルだ。学習したモデルは、熟練した人でも20分以上かかるダイヤモンドツールの作成を10分程度で成し遂げ、その有効性を示した。 人がプレイしたマインクラフトのプレイ動画がWeb上に多く存在する。今回のモデルはこの膨大な動画データで学習するわけだが、これら動画からは何が起きたかが分かるだけで、マウスの動きやキーの押し順

    MinecraftをAIがプレイ、10分で「ダイヤモンドのツルハシ」を高速作成 米OpenAIが技術開発
    hocopi
    hocopi 2022/06/29
  • ふるさと納税で現金バックの「キャシュふる」、サービス終了 金子総務大臣の「趣旨に反する」発言受け

    ふるさと納税の返礼品の代わりに現金が受け取れるとして波紋を呼んでいる「キャシュふる」がサービスを終了した。運営会社のDEPARTURE(東京都新宿区)が6月10日に発表した。サービス発表後2日での幕引きとなる。 金子恭之総務大臣は10日開いた会見で、キャシュふるのサービスについて「ふるさと納税は、故郷やお世話になった自治体に感謝し、応援する気持ちを伝える、または税の使い道を自らの意思で決めることを趣旨とする制度。返礼品は、寄付を受け入れた自治体がお礼の気持ちを表すためのもので、代わりに現金を受け取ることは制度の趣旨から大きく外れる。担当部局に対応の検討を依頼した」と話していた。 これを受けてDEPARTUREは「金子総務大臣の発言を重く受け、ご返金も完了したご利用状況を鑑み、2022年6月10日をもってサービス終了とさせていただきます」と説明。「総務省、自治体の皆さまをはじめ、関係各所の皆

    ふるさと納税で現金バックの「キャシュふる」、サービス終了 金子総務大臣の「趣旨に反する」発言受け
    hocopi
    hocopi 2022/06/10
    炎上からの売名コンボを狙ってたわけでもないみたいだし何がしたかったんだ……?
  • ワクチン接種の事務アルバイトが内部情報を漏えい 仙台市の管理システムを不正使用

    仙台市は5月18日、新型コロナウイルスワクチン接種の事務センター運営を委託しているキャリアリンク(東京都新宿区)で、アルバイトがシステムを不正利用し、内部情報を第三者に伝える事案が発生したと明らかにした。 問題のアルバイトは1月末から2月上旬にかけて、仙台市のワクチン接種進捗管理システムを不正利用。個人の名前を検索し、該当者がいない(仙台市に住んでいない)旨を第三者に伝えた。5月11日に名前を検索された個人の親族から通報があり問題が発覚。アルバイトが事実を認めたため12日に雇用契約を解除した。 仙台市とキャリアリンクは13日に、検索された個人の親族に経緯を説明し謝罪。同市は同社に口頭で厳重注意した上で、個人情報の取り扱いについて指導したとしている。 再発防止策として仙台市は、キャリアリンクにおいて個人情報の取り扱いに関する教育を徹底する他、定例打ち合わせなどで注意喚起し、取り組み状況を確認

    ワクチン接種の事務アルバイトが内部情報を漏えい 仙台市の管理システムを不正使用
    hocopi
    hocopi 2022/05/20
  • 自社のDB破壊しCEOに身代金要求、freeeが本当にやったクラウド障害訓練の舞台裏 「従業員はトラウマに」

    自社のクラウド環境に侵入され、データベースから経営に欠かせないデータを持ち出される。バックアップも消され、データを取り戻したければ、身代金を支払うよう要求される──企業にとって絶対に直面したくない事態の一つだ。しかしこのシチュエーションをあえて再現し、訓練という形で自社のCEOに身代金まで要求した企業がある。クラウド会計サービスを提供するfreeeだ。 freeeは2021年10月、標的型攻撃とランサムウェアを組み合わせたシナリオを基に全社的な訓練を実施。AWS上のDBからデータを盗み出し、バックアップを消した上で、自社のCEOに社内SNSを通して身代金を要求したという。訓練を主導したのは、製品やサービスのセキュリティ向上を目指す社内組織「PSIRT」だ。 訓練を実施した背景には、情報システム部などのIT部門だけでなく、経営層まで巻き込みたい考えがあったという。同社のPSIRTが取り組んだ

    自社のDB破壊しCEOに身代金要求、freeeが本当にやったクラウド障害訓練の舞台裏 「従業員はトラウマに」
    hocopi
    hocopi 2022/03/18
  • AIで“ASMR”が作れる時代に ささやき声も出せる音声合成「九州そら」無料公開

    音声合成ソフトの開発や販売を手掛けるSSS(仙台市)は3月16日、音声合成ソフト「VOICEVOX」用音源「九州そら」をリリースした。九州そらは、せりふを入力するだけで人間らしい“ささやき声”を出力できるAIだ。 VOICEVOXは、ドワンゴでAIの研究に携わっているヒホ(ヒロシバ)さん(@hiho_karuta)さんが開発した無料の音声合成ソフト。AI技術を活用して、人間らしい話し声を合成できる。イントネーションや話す速さなどの調整も可能。立体音声を制作できるソフトを活用すれば「ASMR動画」の制作にも使える。 九州そらはVOICEVOX用音源として初めてささやき声の合成に対応した。ソフトのダウンロードと利用は無料。「VOICEVOX:九州そら」とクレジットを記入すれば商用利用も無償でできる。 関連記事 「VOICEPEAK」と「CeVIO Pro」、 新しい音声・歌声合成製品はどこがす

    AIで“ASMR”が作れる時代に ささやき声も出せる音声合成「九州そら」無料公開
    hocopi
    hocopi 2022/03/16
  • 月額440円/2GBで音声通話もOK 「povo2.0+IIJmio」でスマホ料金を激安にする

    現在さまざまな携帯会社からさまざまな料金プランが出ている中で、これぞお得!といえる料金プランを探すのは至難の業。安いからといって契約したものの、すぐに通信制限がかかってしまったり、電波状況が悪かったりしてしまうと、安物買いの銭失いという結果になり元も子もありません。 そこで、携帯電話ショップの代理店に10年以上勤めた筆者が、携帯料金を節約できる契約方法をお伝えします。※料金は全て税込み。 それはズバリ、0円で維持できるプランと、料金の安いデータSIMを契約することです。今回私がオススメする使い方は、povo(povo2.0)とIIJmioを組み合わせる方法です。それぞれの料金プランについて詳しく見ていきましょう。 povo2.0は「0円」で維持できるが注意点も まずはpovoの現行プラン「povo2.0」の特徴を見ていきましょう。 基料金が0円 電話はかけたらかけた分だけ22円/30秒発

    月額440円/2GBで音声通話もOK 「povo2.0+IIJmio」でスマホ料金を激安にする
    hocopi
    hocopi 2022/01/30