Erlang

数年前に、Elixir の Logger モジュールのカスタムバックエンドを書く、という記事を書きました。 blog.emattsan.org ごく最近になって。 Elixir Forum で Logger の設定の記事を読み、OTP が標準で用意しているハンドラを使えば、バックエンドを書かなくてもログをファイルに出力できると知りました。 調べてみると、ハンドラは OTP 21.0 で追加された模様。 奇しくも OTP 21.0 のリリース日は、先の記事の公開日と同じ 2018/06/19 だったことに何かの縁を感じたり感じなかったり。 いまだ全貌を掴みきれていないのですが、ログをファイルに出…

概要 1986年にスウェーデンの通信機器メーカーであるEricsson社が電話通信アプリケーションを開発する目的でErlangを開発し1998年にOSSとして公開した。 Erlangは巨大なサーバソフトウェア(メッセージキューイングやWebサーバ、分散データベースなど)などの高レベルプロトコルの実装に向いており、現在ではWhatsApp、ドワンゴ、LINEなどがErlangを採用していることを表明している。 qsort([]) -> []; qsort([Pivot|Rest]) -> qsort([ X || X <- Rest, X < Pivot ]) ++ [Pivot] ++ qso…

Clojure Advent Calendar 2021 12/11 (土) です☆ 12/10 (金) は id:kbaba1001 さんのClojureで仕事をはじめて１年経った - さめたコーヒーでした♪ www.kbaba1001.com Clojerl は Erlang VM で動く Clojure です。Erlang/OTP や Erlang library の函數を Clojure の函數であるかの樣に呼べるのが特徴です。Clojure の library は、ClojureScript に於けると同じく reader conditionals を書けば使へます。 Clojerl…

以前の記事で (2年も前くらいの記事...)、gen_server ビヘイビアの概要を学びました。 今回は、gen_server モジュールに用意されている各関数と gen_server モジュールのコールバック関数を学びたいと思います。というか書きかけだったのに気がついて、今書き上げました。 gen_server はいくつかの関数をコールバック関数として export されていることを期待しています。 gen_server ビヘイビアの関数とコールバック関数の関係は下記のようになります。 例えば、gen_server:start_link 関数が呼ばれると、コールバックモジュール Modul…

syurecat.hatenablog.com 楽しむ⇒可 無事に過ごす⇒良 Rustを覚える⇒済、いちばん好きな言語になった できればErlang/Elixir⇒未 資格を1つ⇒情報処理安全支援士取得

ChatGPT での調査は「人工知能的論理プログラミング(9) - エレファント・ビジュアライザー調査記録」と同じようになってきたので方向を変えます。「モノイド的構文解析」では C# 形式で記述するバージョンも作りましたが、論理プログラミングでそのようなことができるかどうかを ChatGPT で調べてみました。論理プログラミングを C# 形式で記述するのは難しそうです。 入力: C# で関数のパラメーターにパターンを書くことはできますか 結果: C#では、関数のパラメーターそのものに直接パターンを書くことはできません。ただし、C# 7.0以降で導入されたパターンマッチングを使用して、関数内で条…

なんでだろうね。 お前が作るんだよって話もあると思うのだけど、それにしても極端に少ない印象を受けている。 たとえば Go や Python, TypeScript, Rust あたりは、雨後の筍のように HTTP Server を書くためのライブラリが乱立している。それぞれに特徴があって、OpenAPI との接続がいい感じになってたりミドルウェアが揃ってたりする。 このへんの言語はメジャーだから、という話に思えるかもしれないが、新興言語でも昨今は HTTP 関連ライブラリは割と乱立するイメージがある。 たとえば gleam なんかは、 https://github.com/gleam-lang…

はじめに Notion Tips の第176回目は、3年前に作っていたらしい「選択中のテキストをコードブロックとして追加する macOSサービス」を、使いやすいように改修した話です。元々は、「Notion API を触ってみようの会」でのやり取りから始まっていました。 NotionキャンパスリーダーのHaruki(@Haruki_dev)とAsahi(@ashh_log)主催の【NotionAPIを触ってみようの会】に参加しています！！ https://t.co/ZcZoRMPy6o #NotionAPIを触ってみようの会— hkob｜Notion Ambassador (@hkob) 202…

gigazine.net 自分の作品がAIの学習に許可なく使用されたかどうかを簡単に確認できるようにするための法案「人工知能ネットワークの透明性と責任(TRAIN)法」がアメリカで提出されました。この法案が実現すれば、著作権者は学習の記録にアクセスできるようになり、自分の作品が使用されたかどうかを確認できるようになるとのことです。 自分の創作物がAI学習に使用されたかどうかを確認できるようになる「AIの透明性と責任に関する法案」がアメリカで提出される - GIGAZINE TRAIN法は、著作権者が「自分の作品がモデルのトレーニングに使用された」という「誠実な信念(good faith bel…

本記事は Akatsuki Games Advent Calendar の2日目の記事です。 Elixir の Google Cloud サービスアカウント認証 アカツキゲームスの一部のゲームタイトルでは Elixir をサーバー開発言語として利用しています。BigQuery 等のサービスを利用する際、Google Cloud のユーザー認証が必要になりますが、GitHub Actions などの CI からサービスにアクセスするような場合、Workload Identity を利用してサービスアカウントの認証が行えるように構成するのがベストプラクティスとされています。これは、秘密鍵の管理が不…

Ubuntu 22.04のPleromaのバージョンを2.6.3から2.7.1に更新した。 それに伴い、Erlang/ElixirをUbuntu標準のリポジトリから導入したものから、asdfで導入したものに変更した。 環境 共通 さくらのVPS 1GB OS: Ubuntu 22.04 LTS Pleromaのインストール方法: ソースからインストール 更新前 Erlang: 24.2.1（Ubuntu 22.04公式のリポジトリからインストールしたもの） Elixir: 1.12.2（Ubuntu 22.04公式のリポジトリからインストールしたもの） Pleroma: 2.6.3 更新後 E…

scienceportal.jst.go.jp 一方、無機化合物の結晶構造を考察する時には、実験などで現実的に取り得る構造について研究者が経験則的な知見を持っている。 無機化合物の結晶構造を計算コストかけず網羅的に探索、経験則を不等式で表すのがミソ 東大 | Science Portal - 科学技術の最新情報サイト「サイエンスポータル」 尾崎教授の下で大学院生として研究していた産業技術総合研究所の小正路（こしょうじ）崚太郎研究員（計算物質科学）は、「だいたいこれくらいまで」「これ以上は影響しない」といった知見を、ビジネスやエンジニアリングの分野で合理的意思決定を支援するのに用いられることがあ…

はじめに この記事について 以下の記事に触発されて自分でも書いてみました。 yoric.github.io プログラミング言語が好きなので、気になったものを見つけると触るようにしているんですが、ほとんどは新たな発見や驚くような便利な機能があって、毎回感心させられます。仕事ではなかなかあれもこれもというわけにいかないのが残念ではありますが、個人で使うアプリケーションや使い捨てのプログラムを書くときには、なるべくいろんな言語で書くようにしています。 仕事と趣味を合わせて20以上の言語に触れてきましたが、それらのなかでもとくに衝撃的だった言語をいくつか選びました。 これまで触ってきた言語 だいたい時…

'Programming Languages That Blew My Mind'というブログ記事で、8歳からプログラマーとして活動しているDavid Tellerさんが、人生で出会った革新的なプログラミング言語について紹介している。 BASIC A language designed to make programming simple. Mind blown: Programming my own games! Mind blown: Arrays (or DIM, as they were called)! Mind blown: GOTO! Mind blown: GOSUB! Ori…

Canada という小さな実装のライブラリがあります。 hex.pm Ruby でいうところの CanCanCan のような権限判定のためのライブラリなのですが、とても興味深い実装をしています。 例えば user が article を read できるか判定するとき、 can?(user, read(article)) あるいは user |> can?(read(article)) のような書き方をするのですが、このとき read/1 という関数は定義しません。 定義する必要がありませんというのがより正しいかもしれません。 何をやっているのか、その仕組みをなぞるコードを書いて確認してみまし…

プログラミング言語の世界は、1950年代から現代までにわたり驚くべき進化を遂げてきました。科学技術計算からビジネスアプリケーション、そしてウェブやモバイル開発まで、各時代に登場した言語は、それぞれの時代のニーズに応じて進化してきました。本記事では、主要なプログラミング言語について、その開発者、特徴、そして簡単なコード例を交えながらその歴史を振り返ります。これから学び始める方にも、経験豊富なエンジニアにも、新たな発見があるかもしれません。 プログラミング言語概覧 1950〜1960年代 FORTRAN(1957) LISP (1960) COBOL (1960) ALGOL (1960) BAS…