第六回の連載では湯本が確立したテスト手法であるIDAU法のテストプロセスを、ソースコードレベルのテストに応用した、Code Based IDAU法(CB-IDAU)について説明しました。第七回では、第５回の記事の中で述べたもう一つの応用研究の仮説の一つである、数学的グラフ特徴量によるバグ予測(Mathematical G raph Feature M etrics T est)の研究について説明したいと思います。(以降、本研究で提案するバグ予測モデルをGMTと表記します。) GMTの仮説と目的 第五回の記

ChatGPTは、教育の未来なのか、それとも不正行為の未来なのか？ 2023.1.7 監　修 株式会社Laboro.AI　マーケティングディレクター　和田 崇 概　要 紙も電卓もインターネットも、学習技術の進歩はすべて「Death of learning（学習の死）」と呼ばれてきました。 昨年11月にリリースされた対話型 AI 「ChatGPT」も生徒の学習に悪い影響を与えるのではないかとして、イギリスやアメリカ、フランス、インド、オーストラリアなどで学校での使用をブロックする措置が始まっています。しかし

こんにちは！グループ経営ソリューション（ GMS ）事業部5年目の川島です。現在は自社製品Ci*Xの導入やセールス支援をしています。 この記事では私のやっている仕事の内容や職場の雰囲気について、また、今学生で今後ISIDを目指す方向けに就活のお話も少しできればと思います。 本記事を通して私の仕事を知ってもらえたり、IT経験のない方でIT企業を目指す方に少しでも勇気を持ってもらえたりしたらうれしいです。 自己紹介 まずは簡単に、自己紹介を。 1. 年次 新卒で2019年にISIDに入社し、2023年1月で5

こんにちは！グループ経営ソリューション（ GMS ）事業部5年目の川島です。現在は自社製品Ci*Xの導入やセールス支援をしています。 この記事では私のやっている仕事の内容や職場の雰囲気について、また、今学生で今後ISIDを目指す方向けに就活のお話も少しできればと思います。 本記事を通して私の仕事を知ってもらえたり、IT経験のない方でIT企業を目指す方に少しでも勇気を持ってもらえたりしたらうれしいです。 自己紹介 まずは簡単に、自己紹介を。 1. 年次 新卒で2019年にISIDに入社し、2023年1月で5

こんにちは。新卒4年目のエンジニアの谷井です。 自社プロダクトの開発をしながら、有志の技術広報チームでリーダーをしています。 先日このFORCIA CUBEにて、2022年入社社員が選ぶ 「『フォルシアを知る』にあたって参考になったブログ」 を紹介させていただきましたが、本日はエンジニアに、 「2022年 なるほど！！と思ったFORCIA技術記事」 についてアンケートをとってみました！ 今回は特に推された8つの記事について、アンケートで寄せられたコメントとともに、記事を要約して紹介していきたいと思います。

init_mathjax = function() { if (window.MathJax) { // MathJax loaded MathJax.Hub.Config({ TeX: { equationNumbers: { autoNumber: "AMS", useLabelIds: true } }, tex2jax: { inlineMath: [ ['$','$'], ["\\(","\\)"] ], displayMath: [ ['$$','$$'], ["\\[","\\]"] ],

はじめに プロダクトオーナー兼機械学習エンジニアの本田志温です。弊社高橋による前回の記事「NeurIPS 2022 参加報告 前編」に

こんにちは。検索基盤部 検索基盤ブロックの佐藤（ @satto_sann ）です。 11月30日に ElasticOn Tokyo 2022 が行われました。今回弊社からは検索システムに関わるメンバー10名で参加して、そのうち2名が登壇しました。本記事では弊社エンジニアによる登壇の様子や気になったセッションについて紹介していきます。 目次 目次 ElasticOn Tokyoについて プログラム 全体聴講 ユーザ分科会 テクニカル分科会 ZOZOエンジニアが2名登壇しました 参加メンバーによるセッション紹

はじめに こんにちは！新卒1年目エンジニアの宮本唯です。 私はフォルシア入社前にプログラミングの経験はほぼなく、大学では数学科に所属していました。数学の中でも比較的コンピューターサイエンスに近い分野で、主に正規表現が研究対象でした。残念ながら私には研究者としての資質が無かったためエンジニアに転向したのですが、いざエンジニアになってみるとプログラミングで正規表現を扱う機会が非常に多いことが分かります。 フォルシアでは新人研修でPostgreSQLを使って簡単な名簿アプリを作るのですが、ここでもSQL文に正規

はじめに 本記事では、AI 事業本部のミライネージというプロダクトで働いているデータサイエンティスト ...

はじめに AIシステム部のS.Kと申します。 今回はAtCoderで水色まで到達した身として、さまざまな場面で役に立つ計算量についてまとめていこうと思います。 計算量という概念はアプリケーションに必要な計算リソースを見積もるのに便利な道具です。 従量課金制のクラウドサービスが主流 になっているこの世の中で、必要な 計算リソースを意識するのはとても重要 です。 また、AtCoderをしていると、嫌でも 計算時間 を気にする必要があります。基本的に1回の実行に対して 実行時間は2秒まで という制限があるからで

はじめまして！インターン生の momo です！ 普段は、大学院で暗号理論の研究をしています✏️ いきなりですが・・・ 普段、暗号の安全性って考えたことありますか？ 本記事では、ビット演算子の一つである「排他的論理和」を用いた暗号の紹介をします♬ ワンタイムパッドとは？ ちょっと変わった暗号方式 “ ワンタイムパッド ” を紹介します！ ※ワンタイムパスワードとは別物です。 この暗号を一言でいうと、 「 安全性が高いけど、不便な暗号方式 」 ですかね。 暗号って「安全だから良い！」っ

女性だからできる、AIの「仕上げ」が今はじまる 2022.10.10 監　修 株式会社Laboro.AI　マーケティング・ディレクター　和田 崇 概　要 「今ある職業の多くが AI に置き換えられる」––AIの技術進化に伴って、こうした話がますます現実味を帯びてきたようにも思えますが、一方で AIによって多くの新しい仕事が生み出されることもまた想像される未来です。そして、この新しい仕事への移行において、男性よりも女性の方がより大きな影響を受けるという研究結果があります。AIによって自動化しやすい事務職の大

はじめに 今回はその性能と汎用性の高さから、様々な分野で応用が進んでいるDeep Metric Learning理論について紹介していきたいと思います。 ※loss function以降数学の内容がかなり多いので理解しにくいかもしれません。 Metric Learningとは？の理解をしたい方はLoss functionまで読んでいただけると何となくMetric Learningについて理解できると思います。 目的 Metric Learningの知識をみにつけたい 今後様々なタスクに応用できそうな技術な

前書きは前提内容になりますので、読み飛ばしてもらって結構です。 前書き IEEE Spectrumによると、Pythonは過去6年間、プログラミング言語のトップであり続けています。 Pythonは機械学習アプリケーションの構築にも使用されている言語です。 システム職の方はご存知かと思いますが、Pythonはインタプリタ言語です。そのため開発のスピードは上がります。 しかし実行時には毎回コンパイルと各ステートメントの実行が必要なため、実行速度は他の言語との中で比較的遅くなります。これがスケーリング時に問題に