→関数プログラミング
関数型プログラミング言語については、以前にHaskellの本を読んでみたりして、興味はあったのだが正直あまり理解できてなかった。 『なっとく！関数型プログラミング』はScalaのコードで関数型プログラミングを説明している本だ。最近邦訳が発売されて話題になっていたので買って読んでみた。 www.seshop.com この本で入れ子のflatMap の説明から、Scalaの for 内包表記 を説明しているところを読んで、Haskell の do もこれかということに気がついた。 リストの場合 // 入れ子のflatMap val result = List(1, 2).flatMap { x =…
関数型プログラミングとは何か? 副作用について サンプルコード 高階プログラミング 関数型プログラミングのメリット バグが少なくなる 数学に近い lispが高い評価を受けていたのは、研究の道具として計算機科学の世界で最も複雑な種類の問題を解くために使われていたことだ。 今回はlispの進んだ要素の一つ、関数型プログラミングについて学ぶ。 関数型プログラミングとは何か? ものすごく大雑把に言えば、関数だけでプログラミングを組み立てるスタイルのことだ。 しかし、ここでの関数には通常のプログラミングよりもさらに特化された意味がある。 数学者が使う「関数」という言葉と全く同じ意味で使っているということ…
コードモード データモード コンスセルとリスト Lispには、コードモードとデータモードの2つのモードがあります。これらのモードは、LispのREPL（Read-Eval-Print Loop）で使われることが多く、Lispの開発環境での開発に役立ちます。 コードモード コードモードは、Lispのコードを入力するモードです。Lispのコードは、式（Expression）と呼ばれる単位で構成されます。式は、関数呼び出しやリスト、数値、文字列、シンボルなどから構成されます。 コードモードでは、プログラムのコードを入力し、それを評価して結果を得ることができます。式を入力すると、Lispはその式を評価…
グローバル関数 1. 概要： 2. サンプルコード 引数をとらない場合 引数をとる場合 3.命名規則： 4. その他注意事項： ローカル関数 グローバル関数 1. 概要： Lispでは、defunという特別な形式を使って関数を定義します。defunは、関数名、引数、本体といった要素を指定し、関数を定義するための特別なシンタックスです。 基本的な構文は次のようになります。 (defun 関数名 (引数1 引数2 ...) 関数の本体) 2. サンプルコード 引数をとらない場合 例えば、次のようなLispの関数を定義することができます。 (defun hello-world () (format …
2022年9月30日に開催された「第三回関数型プログラミング（仮）の会」のレポートをお届けします。
where-objectコマンドレットの使用 短縮系であるwhereを使用することも可能 where-objectから項目名でさらに絞り込む まとめ 今日はPoweshellでfilterする方法を教えるよ Powershellでのフィルタリングね。具体的にどんなことができるの？ Powershellでは種類のオブジェクトをフィルタリングするために使用できる、強力なフィルタリング機能があるんだ。 例えばファイル、フォルダーの一覧から特定の拡張子に一致するオブジェクトを抜き出すことができるよ Powershellの配列から絞り込みができるってことね... 以下は、PowerShellのWhere…
10xプログラマー養成所 10xプログラマー養成所の目的は10xプログラマーを育てることです。 10xプログラマーとは、普通のプログラマーと比べて10倍の生産性をもつプログラマーの事です。 「無駄な機能を付けない」「オリジナリティを出さない」「副作用を減らす」「物理的に早く動く」を守るため、アジャイル、Docker、関数型プログラミング、Vimを中心とした10xのための技術をまとめました。 無駄な機能を付けない あのExcelですら全体の80%の機能が使われていないそうです。これさえ意識すれば必要な作業量は1/5になります。 MVP(価値の判定が可能な最小限の成果物)を高速で作ることで、無駄な…
クロージャ 関数が内包するスコープを保持する性質 rubyのような手続型プログラミングにも、関数型プログラミングのような記法が存在する。 いわゆるブロックがrubyでいうクロージャに当たる。 rubyでは、do endや{}で囲まれた、メソッドのような手続きをブロックで表現する書き方が存在している。 ブロックはそれ単独ではメモリ上に存在することができない。 そのため、ブロックをメモリ上に残しておきたい場合は、Procという手続きオブジェクトを使用する必要がある。 ブロックは、外側で定義されたローカル変数を参照できるという性質を持っていて、Proc.newの引数に渡すことでメモリ上に残ることがで…
2022/10/28 factorial関数の定義に誤りがあったので修正 3.10以前のPythonでは、再帰関数に対して「末尾呼び出し最適化」など何も対策をしていないために、普通に再帰関数を定義すると、問題が発生してしまっていた。しかしPython 3.11でその問題が解消された再帰関数が書けるようになった。今日は再帰関数の問題点と、Python 3.11における再帰関数の定義の手法について書いていこうと思う。
Wordle で遊んでいると、「使う文字が4文字までわかって、あとは4+1文字を組み合わせるだけ」のような状況があるかと思います。そこまで行ったら全てのパターンを作ったらよいのではないかと思い、基数変換の関数を作って全パターンを列挙しました。 実行環境 Wordle とは 考え方 完成形 実行結果 完成形(改) 実行結果(改) 新たに学んだこと 結び 参考
はじめに どうも、SST研究開発部の小野里です。 弊社は去る10月末、EASMサービスのβ版をリリースいたしました。あれから約1ヶ月ちょっと、ありがたいことに様々なお客様に試用いただきご好評を頂いております。 www.securesky-tech.com 思えば社内での開発開始からおよそ9ヶ月近くが経ったでしょうか。私は開発の割と初期から参加しており、主にフロントエンドの技術選定から実装までフロントエンド全般を担当していました（最近は開発メンバーが増えたのもあって私一人ではなくなりましたし、私もバックエンド等もやるようになりました）。当初はかなり手探り状態の中で進めてきた感もあるプロジェクトで…
プログラム 運動 読書 運動 関数型プログラミング F#入門 Essential .NET - C# スクリプト Polyglot Notebooks
https://www.tumblr.com/espio999/631057084953280512/%E3%81%9D%E3%81%97%E3%81%A6%E6%95%B5%E3%81%8C%E7%8F%BE%E3%82%8C%E3%81%9F%E3%81%A8%E3%81%8D%E3%81%AF1%E4%BA%BA%E3%81%A7%E6%88%A6%E3%81%86%E3%81%97%E3%81%8B%E3%81%AA%E3%81%84espio999.tumblr.com 中国市場、インド市場 PKSHA 楽天 任天堂 NTT dotnetコマンド 関数型プログラミング F# による対…
フェルマーの最終定理 「フェルマーの最終定理 サイモン・シン 青木 薫訳 新潮社」と言う本を読んだのですが、それにあやかって、 「手続き型よりも形而下関数型よりもオブジェクト指向よりも優れていて、 しかもプログラミングの中身を見なくても良い、と言う特徴を持った」関数型を標榜する手法など形而上だ という代わりに、 「手続き型よりも形而下関数型よりもオブジェクト指向よりも優れていて、 しかもプログラミングの中身を見なくても良い、と言う特徴を持った」関数型を標榜する手法は、技術的負債が０の手法とペアになる 技術的負債が０の手法は動かない（形而上だ） と言えば良いのでは無いかと思ったりしたのでした。 …
この記事はフリューAdvent Calendar 2023の1日目の記事となります。 こんにちは！ ピクトリンク事業部の盛岡です。 最近めちゃくちゃ「メンタルモデル」という言葉を耳にします。 UX解説やエンジニア心得などでも頻発している印象です。 また最近は参考資料(※1)が印象的であり、プログラミングに対するメンタルモデルを見直してみる状況が生まれました。 うまくまとまるかわかりませんが、メンタルモデルをアップデートして行ってつながる話を書いていきます。 宣言しておくと、今年もポエムっぽくなります。 メンタルモデルとプログラミング メンタルモデルとは、『人間が無自覚のうちに持っている、思い込…
はじめに 証明の検証ができる 数学の理論が表現できる 数学フレンドリーな表記法 証明の自動化ができる 関数型プログラミングの考え方が学べる おわりに この記事は定理証明支援系 Advent Calendar 2023 の参加記事です． お誘いくださった Palalansoukîさん ありがとうございました． はじめに 私は最近 Lean4 というプログラミング言語兼定理証明支援系の勉強がマイブームなので，それについてお話していきたいと思います． Lean4，ご存じでしょうか？Lean という言語自体は 2013 年ごろから開発が始められているそうですが，バージョン 4 の公式リリースが出たのは…
私はLispという言語に興味があり、Common LispやClojureという言語を趣味の範囲で学びました。これらの言語に美しさや楽しさを感じると同時に、Pythonのような科学技術計算のエコシステムが欲しいなと感じたり、C++のような高速性が欲しいなと感じたりしました。 実現可能性は置いておいて、自身の要望を満たす処理系を作りたいと思ったので、その要件やポイントを書き出していきます（壮大な夢です） S式で記述する REPLが充実 シングルバイナリにコンパイルし高速実行が可能 C++コンパイラの最適化の恩恵を最大限に受ける C++の標準ライブラリはシームレスに使える Clojure風のシンタ…
Dockerを使用したHaskellの環境構築手順【Haskell, Docker, docker-compose】 HaskellはWindowsやMacの上に構築することも可能ですが、Dockerコンテナの上で実行することで完全な再現性が得られます。 加えてHaskell自体にもバージョンが存在するため、それらを容易に切り替えるとなおよいでしょう。 minegishirei.hatenablog.com Haskellは関数型プログラミング Haskellは関数型プログラミング言語に分類されますが、 関数型プログラミングは通常のプログラマーが持つ一般的な概念と比較して、ソフトウェアに対する…
Haskellの真骨頂は関数型プログラミングにあります。 関数型プログラミングについては以下の記事で解説していると思いますので、 今回はHaskellの関数の文法についてお話します。 Haskellの関数の文法 Haskellの関数の構文は非常にシンプルです。 -- 関数の型宣言 -- 関数の本体 functionName :: ArgumentType1 -> ArgumentType2 -> ... -> ReturnType functionName arg1 arg2 ... = 関数本体 一行目の関数型の型宣言に関しては、引数を->でつなぎ、最後に関数から返却される型を表示します。 …
https://www.tumblr.com/espio999/96960357608/%E5%8B%89%E5%BC%B7%E3%81%AE%E5%89%8D%E3%81%AB%E6%BA%96%E5%82%99%E3%81%97%E3%81%A6%E3%81%8A%E3%81%8F%E3%81%93%E3%81%A8espio999.tumblr.com 中国市場、インド市場 PKSHA 楽天 任天堂 NTT 関数型プログラミング F# 8 のリリースで F# が最強の言語になってしまった件 2000年代の労働と読書―仕事がアイデンティティになる社会
blog.miz-ar.info 以下の理由であまり接触しなくなった。多分世の中にはいるだろうが。 昨今のプログラミング事情で、あまり基礎的な数学に触れる機会がない。 昨今流行りの機械学習にしろAIにしろ、また業務で触れるプログラム言語、面白そうなプログラミング言語とかでも、かなり実用面、「いわゆる応用数学」までは数学に触れるが基礎数学が問われるという事はない。 関数型にしろ「どう思考すべきか」という話はあんまり出ない。 糞みたいな技術書が出てくる事が少なくなった。 もはや技術書だよりとならなくなった、初心者向け書籍はありはするが、書籍としてあるのも多いし、また技術書の類、海外翻訳とかに押され…
Haskellは関数型プログラミングであるが故、手続き型プログラミングでよくみられる「変数を複数宣言してそれらを管理する」手法は一般的ではありません。 しかし、Haskell言語の中にも型と変数の仕組み自体は存在し、特に型の考え方は重要になります。 この記事ではHaskellの型について深く紹介します。 Haskellの変数と型 Int型 Haskellで整数を扱うためにはInt型を使用します。 次のコードは変数x, yにそれぞれ123と234を代入して、足した結果を画面に出力しています。 x :: Int y :: Int x = 123 y = 234 main = print $ x +…
Haskell はおそらく、これまでに使用したどの言語ともかなり異なります。 Haskellは関数型プログラミング Haskellは関数型プログラミング言語に分類されますが、 関数型プログラミングは通常のプログラマーが持つ一般的な概念と比較して、ソフトウェアに対する全く異なるアプローチを提供します。 Haskell では、データを変更するコードを強調しません。代わりに、 不変の値を入力として受け取り、新しい値を出力として生成する関数に焦点を当てます。 同じ入力が与えられると、これらの関数は常に同じ結果を返します。これは関数型プログラミングの背後にある中心的な考え方です データを変更しないだけで…
世間は dotnet conf 2023 一色ですね！ しかしジャパンのビジネスパーソンは忙しい……。 私も……。 セッション、98 もあるし。 ということでセッションタイトルと概要観て観たいセッションをメモ。 選定基準。 C# 12 は観る。 それを除いて新機能の紹介は切る(文書で読めば良いと判断) 実例紹介は切る(海外の実例はあまりジャパンの参考にならない) パフォーマンス系は切る レガシー→モダン以降系も切る(文書のほうが良い) 似たものは早い時刻のセッションのみ 結果です。 https://www.youtube.com/watch?v=mna5fg7QGz8&list=PLdo4fO…
どの様な話？ なんでこのブログでやっている様な話をずっと（現役の間は）出来なかったのかというと、 若手が「藁の混じった議論」をして来ると、古手は必敗になる なぜかというと、その議論に乗ると、若手は（藁が混じっている、言ってみれば形而上の議論になるので）より楽が出来、古手は（藁が混じっていない手法なので）より仕事が大変になる しかし、商用の企業内でも「若手の真面目な取り組み」を妨げるのは禁忌なので出来ない と言う羽目になるから、それら「取り組み」に対して非難できなかったからになります。60歳を過ぎて、やれなくなってから初めて、言える様になったと言えます。 真面目な取り組みとは しかしその様な不毛…
qiita.com
anond.hatelabo.jp
okapies.hateblo.jp
kentutorialbook.github.io
qiita.com
blog.magnolia.tech
postd.cc
www.amazon.co.jp
blog.kokuyouwind.com
