朝日ネット 技術者ブログ

朝日ネットのエンジニアによるリレーブログ。今、自分が一番気になるテーマで書きます。

社内用ChatGPTクローンを公開して1か月

朝日ネットで技術部門の執行役員をしている草場です。 今回は朝日ネットが新しいことにも積極的に取り組む会社ですというアピールも込めて、 社内用ChatGPTクローン公開までの話と今後の展望を書きたいと思います。

  • 導入までの流れ
  • システム構成
  • ガイドライン
  • 今後について
  • 最後に
続きを読む

Algorithm Design with Haskellでアルゴリズムを学ぶ

はじめに

開発部のcbmkageです。 仕事でプログラムを書いていると、どうしたら期待通りに、かつ高速に動作するアルゴリズムが実装できるか、考えることがあります。 本記事では、アルゴリズムについて新たな視点を与えてくれる本「Algorithm Design with Haskell」を紹介します。

本記事はHaskell中級者向けです。Haskellの文法や、代表的なリスト操作関数を知っていることを前提としています。

  • はじめに
  • Algorithm Design with Haskellとは
  • 準備: 関数の同値関係
  • 貪欲アルゴリズムのPART紹介
    • 貪欲アルゴリズムとは
    • 候補の生成と選択
    • 貪欲アルゴリズムへの改善
  • まとめ
  • 採用情報
続きを読む

Haskellerのための量子プログラミングと線形依存型

2013年に量子コンピューティングのための関数型プログラミング言語Quipperが発表されました(Quipper: A Scalable Quantum Programming Language - arXiv、以下Quipperレポート)。QuipperはHaskell言語内のDSLとして作成された言語で、もともとは IARPA Quantum Computer Science (QCS) Programのなかで開発されたものであり、とてもよく考えられた言語です。Google Scholarでみても被引用数が444(2023年2月時点)あり、量子プログラミング言語のひとつの参照点になっているものだと思います。

ということで、今回はこのQuipperレポートをもとに量子プログラミングについてみていきたいと思います。

続きを読む

コンビニ払いを導入して1年ほど経ちました

開発部の 8luka です。

当社ISPサービスASAHIネットの個人のお客様にコンビニ払込用紙での支払方法(以下、コンビニ払いと記載します)を導入して一年ほど経ちました。 なぜ導入したのか、どう導入したのか、導入してどうなったのか、そんな話をこの件の開発を諸々担当した立場からお伝えします。

続きを読む

AWS LambdaとAmazon EventBridgeを利用してAWSリソース削除/停止を自動で定期実行する

はじめまして、サービス基盤部のmokzkmです。今回はAWSについての内容です。

私が取り組んでいる、「AWSリソース削除/停止の自動定期実行」についてご紹介します。 今回はAWSについてあまり馴染みのない方でもわかるように参考資料も載せているので、そちらも是非ご参照ください。

続きを読む