関数プログラミング

2024年3月22日に『PPL 2024 非公式ふりかえり会』を開催しました。イベントでお話した内容を文字起こし形式で紹介します。 hey.connpass.com なぜPPLに協賛したのか、協賛してみてどうだったのか 藤村：まず自己紹介から始めます。STORES でCTOをやっている藤村です。PPLには今回初めて参加しました。 笹田：笹田です。プログラミング言語 Rubyのインタープリタの開発を STORES でフルタイムでやっています。プログラミング言語に関する学会ということで、PPLは3回目の出席でした。今回は STORES に転職したというのもあって、顔見せも兼ねて発表させていただきま…

ChatGPTで証明を書いてもらうことやプログラムを書いてもらうことは今のところ失敗しているので、ここで扱う問題について日本語で書いてもらうことにします。まず「論理プログラミング」などで扱っている問題について聞いてみます。 このブログの目標について 以下のように入力しました。 以下のような内容を詳しく調べて論文を書いてください 「SNS やアプリのサーバーのプログラムについて考えます。もし、ユーザーが入力した内容から(AIによって)サーバーのプログラムを更新することができるならば、クライアント側のプログラムを書く必要はなくなります。しかし実際には SNS やアプリのクライアント側の処理を書くた…

ここでもChatGPTでプログラムの仕様を書いてもらいます。以下のように入力しました。 次のようなプログラムを考えます。今日から一日に一回、気象観測システムからその日の天気が晴れなのか雨なのかという情報が送られてきます。このプログラムはこの情報を一日に一回受け取ります。この情報をある日受け取るとこのプログラムは、今日からその日までに受け取ったすべての情報に基づいて、次の日の天気が雨である確率を予測し、それを返します。このようなプログラムを C# で書こうと思います。このようなプログラムの仕様を書いてください 以下は引用です。 以下は、C#で記述された天気予測プログラムの仕様です。 プログラムは…

プログラミング言語に関する質問をChatGPTに入力してみることの続きです。変数を変更することができる関数型言語のプログラムを変数を変更することができない関数型言語のプログラムに変換するという問題を考えます。ここで扱う例はクロージャーには関係なくなるかもしれないので、「関数型言語の拡張」は「関数プログラミングのクロージャー」に引き継いだのですけど、復活しました。クロージャーに関連しないことはこちらに書くことにしました。有限の回数で終了するプログラムであれば、変数を変更することができない関数型言語のプログラムに変換することはできると思われるので、有限の回数では終了しないプログラムを考えます。また…

プログラミング言語に関する質問をChatGPTに入力してみることにします。この目的は関数型言語に無限に動作するための機能を追加することです。 純粋関数型言語のクロージャーについて教えてください これは思っていた答えと違いました。 純粋関数型言語では変数を書き換えることができないとします これで書き直してくれるかと思ったのですが、書き直してはくれませんでした。 純粋関数型言語のクロージャーについて教えてください これはいい感じになりました。 純粋関数型言語のイテレーターについて教えてください これは正しそうな答えが返ってきました。 純粋関数型言語で、サーバー上で無限の時間にわたって動き続けるプロ…

（科学と関数の関係を整理します） １）関数の基本 数学の関数は、ｘとｆ（ｘ）を対応させます。 写像と関数を区別する場合もありますが、ここでは、アバウトに考えます。 簡単な表記は、以下です。 ｆ（ｘ）＜－ｘ この方法では、右と左の値が一致しないので、等式では、次のように書きます。 ｙ＝ｆ（ｘ） 以下では、値を問題にしないので、最初の表記を使うことにします。 因果モデルを関数で表わせば、ｘが原因、ｆ（ｘ）が結果になります。 原因が１つのことは稀ですが、ｘをスカラーに限定せず、ベクトル、マトリックス、テンソルに拡張することで対応ができます。 データにノイズが含まれている場合には、分離可能な原因はあま…

Azure Container Apps 紹介 概要編 では、Azure Container Appsの概要についてご紹介いたしました。 今回は他のAzureコンテナサービスの特徴と、Azure Container Appsとの違いについてご紹介いたします。 Azureコンテナサービスとは Azureコンテナサービス比較 Azure App Service Azure Container Instances Azure Kubernetes Service Azure Functions Azure Container Apps 最後に Azureコンテナサービスとは コンテナは、アプリケーシ…

2024年2月13日に『YAPC::Hiroshima 2024 非公式ふりかえり会』を開催しました。イベントでお話した内容を文字起こし形式で紹介します。 hey.connpass.com 登壇者紹介 STORES hogelog：YAPC初参加 ヨヨイ：YAPCは3、4回参加経験あり hiromu：YAPC初参加 藤村：YAPC初参加 えんじぇる：YAPC初参加 スマートバンク 三谷：YAPC初参加、YAPC::Hiroshima 2024でベストスピーカー賞を受賞 nyanco：YAPCスタッフ 前夜祭の感想 hogelog：『YAPC::Hiroshima 2024 非公式ふりかえり会』…

正月休みの時にぶらっと本屋さんに寄った時に、Java読書会BOFの次の読書会の候補本になりそうかと買ってみました。 題名 「ソフトウェア設計のトレードオフと誤り」 著者 Tomasz Lelek, Jon Skeet 訳者 渋川よしき ら訳 出版 オライリー・ジャパン 2023年5月刊行 ISBN 978-4-8144-0031-7 価格 4180円（税込） プログラム、アプリケーション、システムを作成するときに遭遇する設計上の選択を、トレードオフとして紹介しています。課題は、プログラミング・コード上のもの（例：シングルトン・パターンの実装方法、継承とコンポジションの使い分け、例外）から、共通…

通院している病院の待合室に、地元保育園からのポスターが掲示されていた。二人目の孫が生まれたドラジージも気になって見ていたのですが、ふと「0.1歳児」って幾つくらいのことをいうのだろうと思ってしまった。0.1は1.2カ月位だから孫と同じくらいかな～とか。目を右に移すと、2.3歳児ともあった。 自宅に戻り、ググッているうちに0.1(レイテンイチ)歳児ではなくて、〇歳児と一歳児のことを指していると気が付いた。妻に話したら当然のごとくバカじゃない?と一言。(^^;最近頭の巡りが悪くなってきたのだろうかと自分でも思った。 でもググっていたら、色々な表記がされていることに気が付く。 たとえば、これは先のポ…

これは言語実装のカレンダー | Advent Calendar 2023 - Qiitaの1日目の記事です。 このカレンダーを読んでいる皆さんなら、論文 「なぜ関数プログラミングは重要か」 に感銘を受けたりして、関数型言語を実装したいと思ったことがあるでしょう。 とはいえ、haskellやMLのような複雑な仕様を持つ言語では、 それに見合った複雑な実装が必要となって手に負えない、 と思った方も多いと思います。 しかし、LISPやforthのような単純な実装で済む処理系であれば、 一度は実装してみたことが、このカレンダーを読んでいる皆さんにはあるはずです。 私の自作言語revapp は、先の論文…

前提 SQLに苦手意識があり、where句とかgroup byとかはとりあえずわかるところからのスタート(havingの理解が怪しいレベル)。 Rのtidyverseは大体理解しているので、関数プログラミング的な考え方は問題ない リレーショナルDBで、クエリの書き方を習得した。正規化など基本的な部分もやった。DBの運用や構築はあまりやっていない クエリを自ら試す際の環境構築は https://github.com/The-Japan-DataScientist-Society/100knocks-preprocess のdocker-composeを参考にした 以下の本をやった: ミック氏の本…