５年生の時にパソコン購入を反対され、それでもプログラミングがしたくて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
ChatGPTはプログラミング言語マスター（語弊ありまくり） - kmizuの日記
皆さんおはようございます。見ている人は見ていたかもしれませんが、昨夜はかなり遅くまで巷で話題沸騰のChatGPTによくわからんクエリを投げて、その結果をみてげらげら笑っていました。特に存在しないプログラミング言語であり「ScalaにHaskellと同じ型推論を加えた」言語Scalayがあることにしたら、ChatGPTが本当にHaskellぽい（単なるHMでなく、Haskellぽいというのは型クラスまで推論される辺り）型推論を持つ架空のScalayコードを解釈実行してくれたりしたところは、控えめに言っても予想外の結果で深夜なのに部屋で忍び笑いをしていました。 Scalaに引数の型推論を追加したようなパチもんのプログラミング言語Scalay（仮）ができてしまった（ChatGPTと対話してる間だけの短い命）。 一応、add: (Int, Int) => Int が推論されてるのすばらですね。 p
「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
とほほの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 を開き、[パッケージ化されていない拡張機能を読み込む] から上記
論理プログラミング言語Logicaでデータサイエンス100本ノック
Googleが発表したOSSプロジェクトである論理プログラミング言語Logicaを使って、データサイエンス100本ノック(構造化データ加工編)の設問を解きながらどのような言語かを確認していく。 (BigQueryのクエリとして実行していく) 最初に、プログラミング言語Logicaの特徴を纏めておく。 論理型プログラミング言語: このカテゴリではPrologが有名 SQLにコンパイルされる: 現状BigQueryとPostgreSQLに対応 モジュール機構がある: SQLと比較した強み コンパイラはPythonで書かれている: Jupyter NotebookやGoogle Colabですぐ始められる Colabでチュートリアルが用意されているので、まずこちらからやると良いと思う。 コードの見た目は関係論理の記述に似ている。 事前に、データサイエンス100本ノックのテーブルデータをBigQu
クォータニオンとは何ぞや？：基礎線形代数講座 - SEGA TECH Blog
---【追記：2022-04-01】--- 「基礎線形代数講座」のPDFファイルをこの記事から直接閲覧、ダウンロードできるようにしました。記事内後半の「公開先」に追記してあります。 --- 【追記ここまで】--- みなさん、はじめまして。技術本部 開発技術部のYです。 ひさびさの技術ブログ記事ですが、タイトルからお察しの通り、今回は数学のお話です。 ＃数学かよ って思った方、ごめんなさい（苦笑） 数学の勉強会 弊社では昨年、有志による隔週での数学の勉強会を行いました。ご多分に漏れず、コロナ禍の影響で会議室に集合しての勉強会は中断、再開の目処も立たず諸々の事情により残念ながら中止となり、用意した資料の配布および各自の自学ということになりました。 勉強会の内容は、高校数学の超駆け足での復習から始めて、主に大学初年度で学ぶ線形代数の基礎の学び直し 、および応用としての３次元回転の表現の基礎の理解
「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
とほほのHaskell入門 - とほほのWWW入門
「ハスケル」と呼びます。 数学者・論理学者の Haskell Curry の名前に由来しています。 LISP, ML などの言語の影響を受けています。 関数型プログラミング言語 であり、特に 純粋関数型言語 に分類されます。 金融、セキュリティ、数学・科学解析、構文解析などの分野での利用例があります。 関数型プログラミングに慣れていない人にとっては、多少学習コストが高いようです。 遅延評価 を採用しており、式は記述されていても必要となるまで評価されません。 関数型言語ですが、モナド などを利用することにより、手続き型言語のような記述も可能です。 Haskell 1.0 (1990年)、Haskell 98 (1999年)、Haskell 2010 (2009年) などのバージョンがあります。 コンパイル型言語ですが、スクリプト言語の様にインタプリタで呼び出すこともできます。 処理系は、イン
たった数行なのに「すごい！」と思うようなプログラミングコードはありますか？
回答 (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...
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の非同期プログラミングの特徴 ゼロコスト抽象化 プラットフォーム非依
Ponylangとこれからの並行プログラミング
19. class Counter extends Actor { val set = mutable.Set[Int]() def receive = { case data: Int => set.add(data) resetter ! set } } class Resetter extends Actor { def receive = { case set: mutable.Set[_] => if(set.size > 10) set.clear() } } mutable ※ code Pony ※ scala var + immutable copy https://doc.akka.io/docs/akka/2.5.6/scala/general/jmm.html#actors-and-shared-mutable-state race-condition
3年ぶりにstaticおじさんに再開して思ったこと - yashiganiの英傑になるまで死ねない日記
staticおじさん生きてたのか wonderfulsky.web.fc2.com/memo.html— チキンとタイカレーさん (@yashigani) 2013年4月23日 staticおじさんの人気に嫉妬． 3年前にソフトウェア業界を震撼させた「staticおじさん」事件の人が言及されているのをTLで見つけたので，「当時あまりに煽られたから関数型プログラミング覚えてゴリマッチョになったんじゃないか？」とか思いつつ追ってみた． 関数型プログラマになってるってのは半分ネタで，おじさん相変わらずオブジェクト指向プログラミングを断罪してた．けど，思想も知識も3年前と遜色ない感じで，あまりにそのままっぽいのには驚いてしまった．たぶんテム・レイに再開したアムロはこんな気持ちだったんだと思う． けど，おじさんの日記はなぜか2000年くらいのテキストサイトみたいなテイストで，エントリごとにリンクなく
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)をサポートする提案。 関数
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 とかを気にしているけど，その辺りは全然関係なかった． で，どこを見ればよかったかとい
C言語に置き換わるか？現在はFacebookで開発されているD言語について
こんにちは。開発担当の渡部です。 普段の業務では Web のフロントエンド・サーバーサイドをやりつつ、オフの時は Oculus Rift を触っており Developers Summit 2014 などのイベント等にも多数参加していますが、 本日はジワジワと伸びているプログラミング言語についてのお話です。 つい先月、このブログでも取り上げた Objective-C 後継として開発中の Apple Swift や、 JavaScript を置き換えるものとして作られている Google の Dart や Microsoft の TypeScript などのように、既存の言語に限界を感じて新しい言語を作るというケースは非常に多いです。 今回はその中から、ハードウェアレベルからアプリケーションまで扱えるシステムプログラミング言語として不動の地位を築いているC言語の後継という大きな目標を掲げて開発
プログラマーは文系の仕事か、理系の仕事か - 愛と勇気と缶ビール
というような大きく構えたタイトルにしてみたが、デジタルな結論を持った記事ではない。 教育制度として文系とか理系とか分ける意味あんのか、というような議論はさておき、現行でそういう制度が存在している以上は僕の身の周りにも文系学部からプログラマーになった人、理系学部からプログラマーになった人がいて、僕の知る限りでは両者にプログラマーとしての能力の差は見受けられない。 世間では、どうやらプログラムを書くのには数学的な能力が必要だと思われているせいか、あるいはいわゆる情報システム系の学部が理系学部に分類されているせいか、理由は全員に聞いてみたことがあるわけじゃないのでよく分からないが、どうやらプログラマーといえば理系だと思っている人が多いようだ。 僕個人で言うと、大学・大学院と数学の点数の低さを英語の点数でカバーしてきた（これは実際には点数の照会なんてしてないので実際には不明なのだが、明らかに手応え
関数型！侵略ノススメ☆ - 純粋関数型雑記帳
（この記事は 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 $
あなたがプログラミングギークであるかを見分ける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
ほんとうはこわいIdris 〜 tacticメタプログラミング - Qiita
はじめに Idris分からん! 誰か教えてくれー こわくないIdris Idrisについて全く知らないって人は、僕が以前書いた記事を読んでください。 こわくない Idris で M59のブログ を検索 tacticとは カリー゠ハワード同型対応があるからプログラムを書くことがそのまま証明を書くことになるのだが、それとは別に定理証明器のとるべき戦略=tacticを記述することによっても証明を書くことができる。 Coqのtacticと比べるとIdrisのそれはとても貧弱に見える。前試したときは、自分でプログラム書いて証明した方がまだ楽なんじゃないかと思った。 Language.Reflectionモジュールを使うと、tacticを生成する関数を定義できる。例えば、Data.Vectモジュールに定義されているfindElemがある。 Elem その前に、Elemというデータ型について書いておこう
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
POSTD | ニジボックスが運営するエンジニアに向けたキュレーションメディア
