「数学」に関連する技術ブログ
企業やコミュニティが発信する「数学」に関連する技術ブログの一覧です。
全93件中 46 - 60件目
関数型言語”兼”定理証明支援系Leanの環境構築
2023/07/26
ブックマーク
Leanとは Leanは普通の関数型言語であり、なおかつ定理証明支援系でもある大変パワフルな言語です。つまり原理上実行前にわかる性質は、型に埋め込んだり、頑張って自分で証明したりすることができます。そう考えるとワクワクしてきますね! またコンパイラフロントエンドのAPIを自由にユーザーが使えるので、標準の文法や意味論とまったく同じレベルで自分の拡張
【社内研修】プロンプトデザイン事始め
2023/07/14
ブックマーク
はじめに 2023年4月に入社した竹内博俊と池田柳之介と申します。 今年の3月にOpenAIはChatGPT APIを公開し、
セーフィーの競プロ勉強会の活動を紹介!
2023/05/19
ブックマーク
こんにちは。セーフィーで画像認識エンジニアをやっている木村Y(緑コーダー)です。 セーフィーには競技プログラミング愛好者が複数在籍しており、社内勉強会の一つとして競技プログラミングの勉強会が開催されています! 競技プログラミングとは? 概要 会の内容 最後に 競技プログラミングとは? 競技プログラミングについて簡単に触れておきます。 競技プロ
ブラックボックス化を防げ。「説明可能なAI(XAI)」の重要性
2023/04/28
ブックマーク
ブラックボックス化を防げ。「説明可能なAI(XAI)」の重要性 2023.4.28 株式会社Laboro.AI リードマーケター 熊谷勇一 概 要 ChatGPTが急速に普及したり、政府がAIに関わる国家戦略を検討する新たな「AI戦略会議」を設ける方針を固めたりするなど、日本でのAI活用が一段と加速しています。中でも、AIの根幹的な技術の一つであるディープラーニング(深層学習)の弱点を
簡易統計モジュールの地域別給与コンテンツにおける計算手法の改善
2023/04/26
ブックマーク
こんにちは。DataPlatformグループに所属している小池です。 DataPlatformグループでは、 ●ログ計測と運用を支えるデータ基盤構築(データ基盤整備) ●必要なデータ抽出及びモニタリング環境の整備(データ分析環境整備) ●課題解決におけるデータ活用の支援(データ活用ソリューション) の3つを柱に、データの力でスタンバイの成長を支えています。(縁の下
登壇社員インタビュー 中部経済連合会×デジタルリテラシー協議会「デジタル人材育成セミナーin中部」
2023/04/18
ブックマーク
KINTOテクノロジーズ株式会社 開発支援部の有留です。 全社会議体などの運営や、エンジニア育成、研修などを担当しています。 KINTOテクノロジーズ(以下、KTC)では、業務を通じたエンジニア自身の成長を、会社として応援しています。そのため、社外コミュティ参加や、外部イベントでの登壇も積極的に後押ししています。(社長の小寺、副社長の景山も、外部主催のイ
【第7回】波及全使用法(IDAU)をバグ予測に応用したグラフ特徴量バグ予測モデル
2023/04/06
ブックマーク
第六回の連載では湯本が確立したテスト手法であるIDAU法のテストプロセスを、ソースコードレベルのテストに応用した、Code Based IDAU法(CB-IDAU)について説明しました。第七回では、第5回の記事の中で述べたもう一つの応用研究の仮説の一つである、数学的グラフ特徴量によるバグ予測(Mathematical G raph Feature M etrics T est)の研究について説明したいと思います。(以降、本研究
ChatGPTは、教育の未来なのか、それとも不正行為の未来なのか?
2023/03/27
ブックマーク
ChatGPTは、教育の未来なのか、それとも不正行為の未来なのか? 2023.1.7 監 修 株式会社Laboro.AI マーケティングディレクター 和田 崇 概 要 紙も電卓もインターネットも、学習技術の進歩はすべて「Death of learning(学習の死)」と呼ばれてきました。 昨年11月にリリースされた対話型 AI 「ChatGPT」も生徒の学習に悪い影響を与えるのではないかとして、イギリスやアメリ
SIerで自社製品導入をする新卒5年目(※IT経験なし)の働き方と今感じること~ちょこっと就活の話も添えて~
2023/03/27
ブックマーク
こんにちは!グループ経営ソリューション( GMS )事業部5年目の川島です。現在は自社製品Ci*Xの導入やセールス支援をしています。 この記事では私のやっている仕事の内容や職場の雰囲気について、また、今学生で今後ISIDを目指す方向けに就活のお話も少しできればと思います。 本記事を通して私の仕事を知ってもらえたり、IT経験のない方でIT企業を目指す方に少しで
SIerで自社製品導入をする新卒5年目(※IT経験なし)の働き方と今感じること~ちょこっと就活の話も添えて~
2023/03/27
ブックマーク
こんにちは!グループ経営ソリューション( GMS )事業部5年目の川島です。現在は自社製品Ci*Xの導入やセールス支援をしています。 この記事では私のやっている仕事の内容や職場の雰囲気について、また、今学生で今後ISIDを目指す方向けに就活のお話も少しできればと思います。 本記事を通して私の仕事を知ってもらえたり、IT経験のない方でIT企業を目指す方に少しで
エンジニアが選ぶ、2022年イチオシ技術記事 in FORCIA CUBE
2023/03/24
ブックマーク
こんにちは。新卒4年目のエンジニアの谷井です。 自社プロダクトの開発をしながら、有志の技術広報チームでリーダーをしています。 先日このFORCIA CUBEにて、2022年入社社員が選ぶ 「『フォルシアを知る』にあたって参考になったブログ」 を紹介させていただきましたが、本日はエンジニアに、 「2022年 なるほど!!と思ったFORCIA技術記事」 についてアンケートをとっ
子問題に連続変数が現れる問題における列生成法的アプローチ
2023/03/13
ブックマーク
init_mathjax = function() { if (window.MathJax) { // MathJax loaded MathJax.Hub.Config({ TeX: { equationNumbers: { autoNumber: "AMS", useLabelIds: true } }, tex2jax: { inlineMath: [ ['$','$'], ["\\(","\\)"] ], displayMath: [ ['$$','$$'], ["\\[","\\]"] ], processEscapes: true, processEnvironments: true }, displayAlign: 'center', CommonHTML: { linebreaks: { automatic: true } } }); MathJax.Hub.Queue(["Typeset", MathJax.Hub]); } } init_mathjax(); $\def\R{{\mathbb R}}$ $\def\N{{\mathbb N}}$ $\def\B{\
NeurIPS 2022 参加報告 後編
2023/01/27
ブックマーク
はじめに プロダクトオーナー兼機械学習エンジニアの本田志温です。弊社高橋による前回の記事「NeurIPS 2022 参加報告 前編」に
ElasticOn Tokyo 2022参加レポート〜エンジニア登壇とセッション紹介〜
2022/12/27
ブックマーク
こんにちは。検索基盤部 検索基盤ブロックの佐藤( @satto_sann )です。 11月30日に ElasticOn Tokyo 2022 が行われました。今回弊社からは検索システムに関わるメンバー10名で参加して、そのうち2名が登壇しました。本記事では弊社エンジニアによる登壇の様子や気になったセッションについて紹介していきます。 目次 目次 ElasticOn Tokyoについて プログラム 全体聴講 ユーザ分科
正規表現専門家がエンジニアになって正規表現がわからなくなった話
2022/12/23
ブックマーク
はじめに こんにちは!新卒1年目エンジニアの宮本唯です。 私はフォルシア入社前にプログラミングの経験はほぼなく、大学では数学科に所属していました。数学の中でも比較的コンピューターサイエンスに近い分野で、主に正規表現が研究対象でした。残念ながら私には研究者としての資質が無かったためエンジニアに転向したのですが、いざエンジニアになってみる