FORTHを学ぶサイトを作った - 西尾泰和のはてなダイアリー
作りたいもの: プログラミング言語のコア概念を学ぶサイト、その2の続編。 ブラウザの上で対話的にFORTHのコードを実行できるサイトを作りました。 http://nhiro.org/learn_language/FORTH-on-browser.html 説明不足気味だけど、左の対話的コンソールに1と入力するとスタックに1がつまれるのがわかる。続いて2をスタックに積んでから+を入力すれば、足し算した結果の3がスタックにつまれるのがわかる。こういう1歩ずつのステップ実行は左のタブをDebuggerに切り替えてDebug modeをONにすればStep InsideとStep Overの両方ができる。左のサンプルコードのところにおいてあるfact(階乗)の定義を読ませて、3 factとか実行してStep Insideをすれば再帰呼び出しが行われているのを可視化できる。 関連記事 ブラウザ上で演
Forthの覚醒 : road to jedi ; - snowlt23の雑記
1/30 Forthの動作について追記 1/31 Forthの辞書についての文言を修正・追記 1/31 1+1を4+5に修正(本当に頭がついていない) 思いつくままに書いていったら結構長くなってしまいました。Forthでよく言われる考え方について書いてみました。ちなみに考え方の部分は他とは区別するために意図的に「だである」調で書いてます。それではどうぞ。 プログラミング言語Forth Forthというプログラミング言語がある。マイナー言語探訪を趣味にしていない限り、聞いたことがない人が大半だろう。 初めてForthの名を聞く人は最初にこう思うだろう。「どんな言語なの？」「どんな機能があるの？」と。 これに対する答えは非常に難しいが、あえて答えるなら私はこう答えるだろう。「Problem Oriented Programming Language(問題志向言語)」「あなたが望むであろう機能は
Standard MLのモジュールとシグネチャの機能 - Qiita
これはML Advent Calendar 2017の15日目の記事です。 13日目の私の記事の続きになります。 本稿ではSMLのモジュール・シグネチャについて、より細かな機能を紹介いたします。 ファンクタ 先人の例であるOCmalでは、モジュールは第一級であり、関数や値と同等にモジュールを取り扱うことができます。 一方で、SMLのモジュールは第一級ではなく、モジュールがSMLコア（関数や式）とは切り離されて定義されています。 よって、モジュールを受け取ったり返したりするような関数をfun構文で作ることはできません。 しかしその代わりに、モジュールを受け取ったり返したりするために、SMLではモジュール専用のファンクタという機能が用意されています。 ファンクタを使うには、受け取るのと返すモジュールを記述します。1 例えば、実行時に単相のスタックを作るファンクタMakeMonoStackは以下
Kotlin 1.2正式版リリース。KotlinはJavaとJavaScriptのマルチプラットフォーム対応に
Kotlin 1.2では、JavaVMとJavaScriptのマルチプラットフォーム対応を推し進め、プラットフォーム共通モジュールとプラットフォームに依存するモジュールを同一プロジェクト内で記述可能になった。 JetBrainsは「Kotlin 1.2」正式版のリリースを発表しました（日本語訳）。 Kotlinはオープンソースで開発されているプログラミング言語です。JavaVM上で動作し、Java言語よりも簡潔で安全なコードを書けることなどを特長としています。 Kotlinは、今年5月に行われたGoogle I/O 2017でAndroidの正式な開発言語となることが発表され、これをきっかけにして急速に注目度が高まっています。 Kotlin 1.2 is Here!https://t.co/TRclENjhz7 pic.twitter.com/lZo18u8SQz — Kotlin (@k
正式採用の「Kotlin」で挑戦！ 初めてのAndroidアプリ開発 ～ストップウォッチを作ってみよう～ - エンジニアHub｜Webエンジニアのキャリアを考える！
エンジニアHub > 記事一覧 > 正式採用の「Kotlin」で挑戦！ 初めてのAndroidアプリ開発 ～ストップウォッチを作ってみよう～ 正式採用の「Kotlin」で挑戦！ 初めてのAndroidアプリ開発 ～ストップウォッチを作ってみよう～ Kotlin入門者に向け、手を動かして学べるテキストをお届けします。Kotlinは、2011年7月に登場したモダンなプログラミング言語ですが、Androidアプリの開発言語として、Google I/O 2017で正式採用され、一挙に浸透してきました。本稿では、Kotlinの特徴を紹介し、簡単なAndroidアプリとしてストップウォッチを作ってみます。 アプリエンジニアの池田惇です。Google I/O 2017で、Androidの開発言語としてKotilnが正式に採用されました。少し前から業務でもKotlinを採用していたのでとても嬉しいです！
あなたの使うプログラミング言語は何位？人気ランキング「Top Programming Languages 2017」発表、「急成長中の言語」「就職の際に有利になりそうな言語」も
By Marc Mueller アメリカに本部を持つ電気工学・電子工学技術の学会「IEEE」による学会誌「IEEE Spectrum」が、プログラミング言語の人気ランキング「Top Programming Languages 2017」を発表しました。ランキングは10個の情報源から集められたデータを、12個のメトリックスで重み付けして割り出された独自のものとなっており、総合ランキングの他にも「急成長中の言語ランキング」や「就職の際に有利になりそうなプログラミング言語ランキング」などがあり、プログラマーは必見の内容となっています。 Interactive: The Top Programming Languages 2017 - IEEE Spectrum http://spectrum.ieee.org/static/interactive-the-top-programming-lang
ウォークスルー Standard ML - Standard ML 入門
ウォークスルー Standard ML たのしい関数型の世界へようこそ！ 目次 本編 Standard ML について Standard ML とは, Standard ML の特徴, Standard ML の仕様 開発環境 SML/NJ について, SML/NJ の使い方, その他の処理系 はじめの一歩 式の評価, 変数, 識別子, 関数, コメント, ファイルの使用 主なデータ型 主なデータ型とリテラル, 論理型, 数値型, 文字型/文字列型, タプル型/ユニット型, レコード型, リスト型, 多相型, 等値型 関数 関数の定義, パターンマッチング, if 式, 相互再帰関数, 高階関数, 関数式, 部分適用, 中置演算子 リスト リストとは, ML のリスト, リストを扱う関数, リストの畳込み データ型の定義 datatype 宣言, 型シノニム, 抽象データ型, 標準のデータ
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
プログラマーのススメ
日本人は全員プログラミングを勉強した方が良い。 プログラミングは簡単だし、IT企業なら開業資金も少額で済む。（最初はパソコン、回線、プリンターがあれば十分） 自己資金で数カ月で軌道に載せれるようなネタしかできない。 IT起業の道のりを教えてあげるよ。 下請け：他人が作って欲しいものを作って納品する＝資金を増やす自転車操業の段階。 自社開発：自分で作りたいものを作って売る＝自転車操業からストックビジネスに移行する。レベニューシェア＝下請けと自社開発の中間のビジネスモデル。 増田に投稿できるってことは、パソコンぐらい持ってるんだろ？ 本屋や図書館に行って、自分に合った分かりやすいプログラミングの本を探してみよう。 仕事を取ってくる方法は、ソニックガーデンのやり方を参考にしたら良い。 https://www.sonicgarden.jp/ プログラミング入門最初に1冊だけ推薦するなら「プログラミ
ドロシー・ヴォーンが活用したプログラミング言語〜映画『ドリーム』 - IBM Systems Japan blog
映画『ドリーム(2017年9月29日公開)』に登場するIBMメインフレーム・コンピューターに限らず、コンピューターを用いた高度な計算を行うためにはプログラミングが必要でした。もちろん、それは現在も同じなので、「プログラミング」という言葉から「プログラミング言語」を連想される方が多いと思います。 「プログラミング言語」にはさまざまな種類があります。現在、大学などにおけるプログラミング演習で用いられるプログラミング言語は、C++、Javaあたりなのでしょうか。最近では、機械学習の分野で利用されることが多いスクリプト言語のPythonなども対象となっているのかもしれませんね。 では、ドロシー・ヴォーンの時代のプログラミング事情はどうだったのでしょう。そして、ドロシー・ヴォーンはどのようなプログラミング言語を活用していたのでしょうか。答えの1つは以下のシーンにあります。 図書館でFORTRANの本
Kotlinのスキルを持たないAndroid開発者は恐竜のようになるリスクに直面。モバイルアプリプラットフォームのRealmが予測
Kotlinのスキルを持たないAndroid開発者は恐竜のようになるリスクに直面。モバイルアプリプラットフォームのRealmが予測 「明確に、（Androidにおける）Javaは死にかかっている」。 モバイルアプリケーションのためのプラットフォームを提供するRealmは、モバイル開発者を対象とした調査結果をもとに、2018年12月にはAndroidにおけるプログラミング言語としてKotlinがJavaのシェアを超えるという内容を含むレポート「Realm Report」を発表しました。 Kotlinのスキルを持たないAndoproidデベロッパーは恐竜になる レポートの中では、KotlinがAndroidの正式な開発言語になると発表されたGoogle I/Oのあとから、Kotlinのシェアは急速に伸びていると指摘。 Google I/Oの時点で約8％程度だったシェアは、その後4わずかカ月で1
AndroidのKotlin、2018年にはシェアでJavaを上回る可能性 | マイナビニュース
Googleは2017年5月のGoogle I/O 2017で、プログラミング言語「Kotlin」をAndroidで正式にサポートすると発表した。KotlinはJetBrainsによって開発されたプログラミング言語。静的型付けのオブジェクト指向プログラミング言語とされている。この発表を受けてAndroidにおけるKotlinを利用したアプリ開発の割合が増加すると予想されていたが、その割合は2018年末にはJavaと同等のレベルに到達する可能性がある。 モバイル開発プラットフォームを提供しているRealmは最新の四半期レポート「Realm Report - Facts and Trends in Mobile Computing」において、Google I/O 2017でKotlinの正式サポートが発表されて以来、Kotlinの利用者が一気に増加したことを明らかにしている。同レポートでは、2
Picatとは - わかりやすく解説 Weblio辞書
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/09/28 01:17 UTC 版) ■カテゴリ / ■テンプレート
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
たのしい高階関数
『Elixir から Elm の流れで、いよいよオブジェクト指向に対する懐疑心が無視できないレベルに達した2017年冬。 – ゆびてく』へのコメント
Elixir から Elm の流れで、いよいよオブジェクト指向に対する懐疑心が無視できないレベルに達した2017年冬。 – ゆびてく
https://smlfamily.github.io/sml97-defn.pdf
『プログラマーのススメ』へのコメント
『Kotlinのスキルを持たないAndroid開発者は恐竜のようになるリスクに直面。モバイルアプリプラットフォームのRealmが予測』へのコメント
Racket/Scheme基礎文法最速マスター
