[B! プログラミング] zyzyのブックマーク

５年生の時にパソコン購入を反対され、それでもプログラミングがしたくてBASIC言語の入門書を見ながらノートにコードを書いてた話

Kazuyuki @kazuyuki Genies, Inc.｜マイクロSaaSの開発・運営｜PMO - 上場企業含む3社｜生成AI導入支援｜PHP, Svelte, Python｜J.S.A. Wine Expert (2022) Kazuyuki @kazuyuki ５年生の時にパソコン購入を反対され、それでもプログラミングがしたくてこっそり買ったBASIC言語の入門書を見ながらノートにコードを書いてました。奇跡的にそれが残っていたので写真に撮りClaude3でJavascriptにして実行。３５年の時を経て生成AIによって動きが知れたことに感動しています。 pic.twitter.com/3EHBs5388P 2024-04-04 21:52:31

zyzy 2024/04/06

親の事務用PCはあったけどPG環境を整える金がなかったので同じ事してた派です。今はPCさえあればいくらでも無償でPGできる良い時代。

プログラミング

リンク

ChatGPTはプログラミング言語マスター（語弊ありまくり） - kmizuの日記

皆さんおはようございます。見ている人は見ていたかもしれませんが、昨夜はかなり遅くまで巷で話題沸騰のChatGPTによくわからんクエリを投げて、その結果をみてげらげら笑っていました。特に存在しないプログラミング言語であり﹁ScalaにHaskellと同じ型推論を加えた﹂言語Scalayがあることにしたら、ChatGPTが本当にHaskellぽい︵単なるHMでなく、Haskellぽいというのは型クラスまで推論される辺り︶型推論を持つ架空のScalayコードを解釈実行してくれたりしたところは、控えめに言っても予想外の結果で深夜なのに部屋で忍び笑いをしていました。 Scalaに引数の型推論を追加したようなパチもんのプログラミング言語Scalay︵仮︶ができてしまった︵ChatGPTと対話してる間だけの短い命︶。一応、add: (Int, Int) => Int が推論されてるのすばらですね。p

zyzy 2022/12/09

これは凄い。ふんわりとその言語っぽい癖同士を混ぜ合わせられるとは。

リンク

「PyScript」はJavaScriptのようにPythonコードをHTML内に記述して実行可能、Anacondaがオープンソースで公開

「PyScript」はJavaScriptのようにPythonコードをHTML内に記述して実行可能、Anacondaがオープンソースで公開 Pythonの主要なディストリビューション「Anaconda」などを提供しているAnaconda社は、HTML文書の中にJavaScriptと同じようにPythonのコードを記述し、実行可能にする「PyScript」をオープンソースで公開しました。 Did you hear the news from PyCon!? We are thrilled to introduce PyScript, a framework that allows users to create rich Python applications IN THE BROWSER using a mix of Python with standard HTML! Head to h

zyzy 2022/05/09

JSは面白いけども大分特殊な言語なので扱いづらいからなぁ……

リンク

とほほのChrome拡張機能開発入門 - とほほのWWW入門

Chrome の拡張機能を開発する手順について説明します。まずは、拡張機能が実行されたらポップアップを表示するだけのものを作成してみます。下記のフォルダとファイルを作成します。 my-extension manifest.json popup.html { "name": "My Extension", "description": "My Extension", "version": "1.0", "manifest_version": 3, "action": { "default_popup": "popup.html" } } <!DOCTYPE html> <html> <body> <h1>Hello world!</h1> </body> </html> Chrome で chrome://extensions を開き、[パッケージ化されていない拡張機能を読み込む] から上記

zyzy 2022/05/08

SUGEEEEE

リンク

論理プログラミング言語Logicaでデータサイエンス100本ノック

Googleが発表したOSSプロジェクトである論理プログラミング言語Logicaを使って、データサイエンス100本ノック(構造化データ加工編)の設問を解きながらどのような言語かを確認していく。 (BigQueryのクエリとして実行していく) 最初に、プログラミング言語Logicaの特徴を纏めておく。論理型プログラミング言語: このカテゴリではPrologが有名 SQLにコンパイルされる: 現状BigQueryとPostgreSQLに対応モジュール機構がある: SQLと比較した強みコンパイラはPythonで書かれている: Jupyter NotebookやGoogle Colabですぐ始められる Colabでチュートリアルが用意されているので、まずこちらからやると良いと思う。コードの見た目は関係論理の記述に似ている。事前に、データサイエンス100本ノックのテーブルデータをBigQu

zyzy 2021/06/26

ちょっと面白そうだな

リンク

クォータニオンとは何ぞや？：基礎線形代数講座 - SEGA TECH Blog

---︻追記‥2022-04-01︼--- ﹁基礎線形代数講座﹂のPDFファイルをこの記事から直接閲覧、ダウンロードできるようにしました。記事内後半の﹁公開先﹂に追記してあります。 --- ︻追記ここまで︼--- みなさん、はじめまして。技術本部　開発技術部のYです。ひさびさの技術ブログ記事ですが、タイトルからお察しの通り、今回は数学のお話です。＃数学かよ　って思った方、ごめんなさい︵苦笑︶数学の勉強会弊社では昨年、有志による隔週での数学の勉強会を行いました。ご多分に漏れず、コロナ禍の影響で会議室に集合しての勉強会は中断、再開の目処も立たず諸々の事情により残念ながら中止となり、用意した資料の配布および各自の自学ということになりました。勉強会の内容は、高校数学の超駆け足での復習から始めて、主に大学初年度で学ぶ線形代数の基礎の学び直し、および応用としての3次元回転の表現の基礎の理解

zyzy 2021/06/16

説明読んで、なんとなくわかって、なんとなく使うけども、説明しようとするとできない、を繰り返してる奴。 ●考え方 ●数学 ●プログラミング ●勉強 ●資料

リンク

「HTMLはプログラミング言語か」問題に終止符を打つ - Qiita

こんにちは。筆者はHTMLでプログラムを書けるプログラミング言語、その名も﹁The HTML Programming Language (THPL)﹂を作りました。なので、明らかにHTMLはプログラミング言語です。以下では、THPLについて説明します。最初のプログラム HTMLプログラミング言語では、Hello, world!プログラムは次のように書くことができます。HTMLプログラムを実行するには、HTMLファイルをブラウザで開きます。そうするだけでHTMLプログラムが実行され、出力が表示されます。 <!DOCTYPE html> <html> <head> <meta charset="UTF-8" /> <title>My First HTML Program</title> <script src="https://unpkg.com/the-html-programming-l

zyzy 2021/04/26

ネタに全力投球!!

リンク

とほほのHaskell入門 - とほほのWWW入門

﹁ハスケル﹂と呼びます。数学者・論理学者の Haskell Curry の名前に由来しています。 LISP, ML などの言語の影響を受けています。関数型プログラミング言語であり、特に純粋関数型言語に分類されます。金融、セキュリティ、数学・科学解析、構文解析などの分野での利用例があります。関数型プログラミングに慣れていない人にとっては、多少学習コストが高いようです。遅延評価を採用しており、式は記述されていても必要となるまで評価されません。関数型言語ですが、モナドなどを利用することにより、手続き型言語のような記述も可能です。 Haskell 1.0 (1990年)、Haskell 98 (1999年)、Haskell 2010 (2009年) などのバージョンがあります。コンパイル型言語ですが、スクリプト言語の様にインタプリタで呼び出すこともできます。処理系は、イン

zyzy 2021/01/02

最近Haskell元気ないので、これで少しでも流行ったらいいな。

リンク

たった数行なのに「すごい！」と思うようなプログラミングコードはありますか？

回答 (14件中の1件目) Smalltalkの条件分岐の実装方法が衝撃的でした。 Smalltalkでは、すべてがオブジェクトなので、真偽値も0や1ではなく、Trueクラスの唯一のインスタンスであるtrueと、Falseクラスの唯一のインスタンスであるfalseで表されます。TrueとFalseは、それぞれBooleanクラスのサブクラスです(以下、Squeak 2.8を例に説明します)。 [code]Object () Boolean () False () True () [/code]Smalltalkではif文を以下のように書きます。 [code]真偽値 ifTr...

zyzy 2019/12/08

APLはまだ触ったことない世界だな……

リンク

Rustの非同期プログラミングをマスターする - OPTiM TECH BLOG

こんにちは、R&Dチームの齋藤︵@aznhe21︶です。さあみなさん、ついにこの時がやってまいりました。本日2019/11/8にリリースされたRust 1.39により、あらゆる環境で最高速な非同期プログラミングが可能になりました。新たな時代に乗り遅れないよう、今のうちにRustでの非同期プログラミングをマスターしておきましょう。なお、この記事は、先日開催したOPTiM TECH BLOG Meetupの内容を大幅に加筆修正した上でエントリに仕上げたものです。まず最初に伝えたいこと非同期の歴史 Rustの非同期プログラミングの歴史 Rust 1.0以前 Rust 1.0 〜Rust 1.3 Rust 1.2あたり Rust 1.11あたり Rust 1.26あたり Rust 1.36 Rust 1.39 Rustの非同期プログラミングの特徴ゼロコスト抽象化プラットフォーム非依

zyzy 2019/11/08

歴史的経緯が本当にカオスってたのでありがたい。

リンク

Ponylangとこれからの並行プログラミング

The document discusses the Ponylang programming language. It covers three main topics: 1) Concurrency in Ponylang uses the actor model or shared memory with synchronization to avoid data races and deadlocks. 2) Ponylang uses capabilities to safely share isolated or immutable state between actors. 3) The Ponylang runtime provides fast actors through techniques like message passing and a read/write

zyzy 2018/02/22

erlangを若干rust寄りにした感じか。

リンク

3年ぶりにstaticおじさんに再開して思ったこと - yashiganiの英傑になるまで死ねない日記

staticおじさん生きてたのか wonderfulsky.web.fc2.com/memo.html— チキンとタイカレーさん (@yashigani) 2013年4月23日 staticおじさんの人気に嫉妬．3年前にソフトウェア業界を震撼させた﹁staticおじさん﹂事件の人が言及されているのをTLで見つけたので，﹁当時あまりに煽られたから関数型プログラミング覚えてゴリマッチョになったんじゃないか？﹂とか思いつつ追ってみた．関数型プログラマになってるってのは半分ネタで，おじさん相変わらずオブジェクト指向プログラミングを断罪してた．けど，思想も知識も3年前と遜色ない感じで，あまりにそのままっぽいのには驚いてしまった．たぶんテム・レイに再開したアムロはこんな気持ちだったんだと思う．けど，おじさんの日記はなぜか2000年くらいのテキストサイトみたいなテイストで，エントリごとにリンクなく

zyzy 2014/11/28

実際staticおじさんの発想って、関数型プログラミング向きだと思うので、移行すれば幸せになれそうな気がするんだけどなぁ……。

リンク

2014-07-post-Rapperswilのレビュー: N4109-N4121

2014年7月の論文集の最後。 [一発目からPDF] N4109: A proposal to add a utility class to represent expected monad - Revision 1 HaskellのEitherに似たライブラリ、expected<T, E>の提案。expectedは、T型か、あるいはエラー通知のためのE型を格納するクラスである。前回からの変更点で最も大きなものは、テンプレート仮引数の順番を変えた。expected<E, T>だったものを、expected<T, E>にした。 [論文のpreconditionとしてPDFを禁止したい] N4110: Exploring the design space of contract specifications for C++ C++のコア言語で契約(contract)をサポートする提案。関数

zyzy 2014/09/22

どんどんD言語に近づいていっているような……

リンク

Intel CPU の popcnt 命令で性能激落ちくんの話 - Lark_mpの日記

Intel CPU でpopcnt命令を連発するとレジスタの割り当て方によって性能がめっさ変わる，という話．本の虫: ループカウンタを64bitにしたり、バッファのサイズを定数にしたらパフォーマンス激落ちなんだけど何で？と，その元ページ c++ - Replacing a 32-bit loop count variable with 64-bit introduces crazy performance deviations - Stack Overflow なんかぱっと見ても一瞬よくわかんなかったので適当にまとめ．ちなみにここに書いてるのは確信度はそれなりにあるけどそれが正解かはわからない点に注意．どこを見ればいいのかまず，質問者は 32bit とか 64bit とか constant とかを気にしているけど，その辺りは全然関係なかった．で，どこを見ればよかったかとい

zyzy 2014/09/06

丁寧な説明。しかし意外と杜撰な話だったというか、なんというか……。

リンク

C言語に置き換わるか？現在はFacebookで開発されているD言語について

こんにちは。開発担当の渡部です。普段の業務では Web のフロントエンド・サーバーサイドをやりつつ、オフの時は Oculus Rift を触っており Developers Summit 2014 などのイベント等にも多数参加していますが、本日はジワジワと伸びているプログラミング言語についてのお話です。つい先月、このブログでも取り上げた Objective-C 後継として開発中の Apple Swift や、 JavaScript を置き換えるものとして作られている Google の Dart や Microsoft の TypeScript などのように、既存の言語に限界を感じて新しい言語を作るというケースは非常に多いです。今回はその中から、ハードウェアレベルからアプリケーションまで扱えるシステムプログラミング言語として不動の地位を築いているC言語の後継という大きな目標を掲げて開発

zyzy 2014/07/25

他の人も言うようにどっちかっつーとC++の後継な印象。ただCの後継はRustでGoはネイティブコンパイラ言語におけるPythonという、まったく新しい位置を狙ってると思う。

リンク

POSTD | ニジボックスが運営するエンジニアに向けたキュレーションメディア

POSTD は、ニジボックスが運営する、エンジニアに向けたキュレーションメディアです。ニジボックスはWebサービスの企画、制作、開発、運用を一貫して担うリクルートの100%子会社です。リクルートグループのオンラインサービスをはじめ、様々な業種・業界・業態のサービス開発を行っております。

zyzy 2014/06/26

最近多いなこのサイト、と思ったらなるほど。

リンク

プログラマーは文系の仕事か、理系の仕事か - 愛と勇気と缶ビール

というような大きく構えたタイトルにしてみたが、デジタルな結論を持った記事ではない。教育制度として文系とか理系とか分ける意味あんのか、というような議論はさておき、現行でそういう制度が存在している以上は僕の身の周りにも文系学部からプログラマーになった人、理系学部からプログラマーになった人がいて、僕の知る限りでは両者にプログラマーとしての能力の差は見受けられない。世間では、どうやらプログラムを書くのには数学的な能力が必要だと思われているせいか、あるいはいわゆる情報システム系の学部が理系学部に分類されているせいか、理由は全員に聞いてみたことがあるわけじゃないのでよく分からないが、どうやらプログラマーといえば理系だと思っている人が多いようだ。僕個人で言うと、大学・大学院と数学の点数の低さを英語の点数でカバーしてきた︵これは実際には点数の照会なんてしてないので実際には不明なのだが、明らかに手応え

zyzy 2014/06/08

そもそも数学自体が、理系とされている分野の中では一番文系に近いジャンルな気がする。何なら数学は文系に分類してもいいくらいに。論理学だとさらに文系に近づいて、情報系もその辺にあるイメージ。 ●考察 ●プログラミング

リンク

関数型！侵略ノススメ☆ - 純粋関数型雑記帳

（この記事は Functional Ikamusume Advent Calendar jp 2010 の為に書かれました）侵略！侵略！侵略！侵略！侵略！侵略！イカ娘！再帰しなイカ？ main = putStrLn $ f 6 where f 0 = "イカ娘！" f n = "侵略！" ++ f (n-1) 古風に再帰しなイカ？ main = putStrLn $ f 6 where f 0 = "イカ娘！" f (n+1) = "侵略！" ++ f n 左派じゃなイカ？ main = putStrLn $ foldl (\a _ -> "侵略！"++a) "イカ娘！" [1..6] 右派じゃなイカ？ main = putStrLn $ foldr (\_ a -> "侵略！"++a) "イカ娘！" [1..6] 右派に見せかけた左派じゃないか？ main = putStrLn $

zyzy 2014/02/28

古典形式の書き方って、見たことないと思ったら、今はもう非推奨なのか。

リンク

あなたがプログラミングギークであるかを見分ける100の質問 | naglly.com

本当に100の質問があるかは、数えてませんが・・・。下記の記事で、あなたがプログラムにまつわることやプログラミング言語に対して、本当にギーク︵おたく︶であるかを見分けるための短い質問集があります。 How to Tell if You're a Programmer Geek http://www.devtopics.com/how-to-tell-if-youre-a-programmer-geek/ 僕も読んでみましたが、かなりの数、該当する答えがありました。これらの質問は、単にコンピューターおたくを、おもしろおかしく皮肉ってるだけじゃなくて、かなり納得できる、良く考えられた質問が数多くあります。とても面白かったので、例によって、いくつか抜粋します。 I am a programmer geek if: ︵もし、下記に該当したら、僕は、プログラマーギーク‥︶ I consider

zyzy 2014/01/28

"Wouldn't you like a glass of milk?"に﹁はい、好きじゃないです﹂って、日本語話者なら全員そう答えるなw　というかこれ、論理的に考えれば、英語話者的にも正しい返事なのか。 ●ネタ ●プログラミング

リンク

ほんとうはこわいIdris 〜 tacticメタプログラミング - Qiita

はじめに Idris分からん!誰か教えてくれーこわくないIdris Idrisについて全く知らないって人は、僕が以前書いた記事を読んでください。こわくない Idris で M59のブログを検索 tacticとはカリー゠ハワード同型対応があるからプログラムを書くことがそのまま証明を書くことになるのだが、それとは別に定理証明器のとるべき戦略=tacticを記述することによっても証明を書くことができる。 Coqのtacticと比べるとIdrisのそれはとても貧弱に見える。前試したときは、自分でプログラム書いて証明した方がまだ楽なんじゃないかと思った。 Language.Reflectionモジュールを使うと、tacticを生成する関数を定義できる。例えば、Data.Vectモジュールに定義されているfindElemがある。Elem その前に、Elemというデータ型について書いておこう

zyzy 2013/12/31

Idrisを触って「型周りの書き方が整理されたHaskell」くらいにしか理解できていないので、この辺いずれちゃんと理解したいんだけど、Idrisをしっかり追いかけるのが正しいのか、まずCoqをやるべきなのか……。

リンク

はてなブックマーク

タグ

関連タグで絞り込む (19)

プログラミングに関するzyzyのブックマーク (30)

お知らせ

今週のはてなブックマーク数ランキング（2024年6月第4週）

今週のはてなブックマーク数ランキング（2024年6月第3週）

今週のはてなブックマーク数ランキング（2024年6月第2週）

公式Twitter

キーボードショートカット一覧

はてなブックマーク

公式Twitter

はてなのサービス