グリーンコーディング - Nothing ventured, nothing gained.
飛び恥 飛び恥、英語ではFlight Shameという言葉があることを知った。環境に配慮して、飛行機での移動を控えようというものだ。ヨーロッパで盛んになった運動で、ドイツでは国が積極的に国民に呼びかけを行っており、フランスでは鉄道で2時間半以内で移動できる距離の飛行機の運行が禁止された。 抜け道があるとか、どこまで二酸化炭素排出量の削減に効果的であるのかという疑問もある。グリーンロンダリングという言葉もあるように、環境に配慮しているというポーズだけではないのかなどの声もあるようだが、このような動きは今後も確実に増えていくだろう。 グリーンコーディング IT業界でも、グリーンITという言葉がある。IT自体をグリーンにしよう、すなわちIT利用時にできるだけ環境に優しくするという考えと、ITを活用することで環境負荷を減らそうという考えの双方を含んだ言葉だ。 前者はIT機器や環境、利用方法をグリー
The V Programming Language
The V Programming Language 0.4 beta Simple, fast, safe, compiled. For developing maintainable software.
世界最大のソフトウェア開発プラットフォームで最も人気なプログラミング言語は何なのか？
by Alper Çuğun コンピュータープログラムを記述するために使用されるプログラミング言語には非常にさまざまな種類があり、それぞれに特色や長所・短所を持っています。そんなプログラミング言語と密接に関わっているソフトウェア開発プラットフォームのGitHubが、「2018年で最も人気のあったプログラミング言語」についてまとめています。 The State of the Octoverse: top programming languages of 2018 | The GitHub Blog https://blog.github.com/2018-11-15-state-of-the-octoverse-top-programming-languages/ ソースコードを共有するGitHubにとってプログラミング言語はサービスの中核を担うものであり、「いったいどのプログラミング言語が
しばらく Prolog やってみた感想 - Humanity
ここ最近 Prolog を書いていて、「Prolog はどうせ遅いし Prolog の良さはそこじゃない」がやっと体感的に分かってきた気がします。 ぶっちゃけPrologはどうせ遅いしPrologの良さはそこじゃない Prologの良さは簡単に書けることだ。 高階な述語は使うのやめたほうが簡単だという。 勉強になった。— h_sakurai (@h_sakurai) September 11, 2018 今の私なりの解釈で言うと、効率の良いデータ構造とアルゴリズムを考えるのが第一義の場面では Prolog の良さは発揮できないという事です。 Prolog でもデータ構造をちゃんと設計してカット多様すればそれなりに速いプログラムを作れるのかもしれませんが、それは普通に逐次的な（手続き的な）プログラムを書いてるのと同じで*1、それよりもバックトラックでナイーブにルールを総当たりする所が Pro
[BoF] How to choose programming language for product/in-house software development - Preferred Networks Research & Development
[BoF] How to choose programming language for product/in-house software development Preferred Networksでエンジニアをしている柏原です。PFN Dayでは “How to choose programming language for product/in-house software development” という題でBoFのセッションを開きました。PFN Dayとはトビアスのブログエントリ「[PFN Day] BoF session: How to Improve Sharing of Software Components and Best Practices」にもあるように、社内向けの技術カンファレンスです。 ソフトウェア開発において、プログラミング言語は開発環境をはじめとして、開発
![[BoF] How to choose programming language for product/in-house software development - Preferred Networks Research & Development](https://cdn-ak-scissors.b.st-hatena.com/image/square/92e9d18a95fa6b2a70df179fd38f027e7d66dcd6/height=288;version=1;width=512/https%3A%2F%2Ftech.preferred.jp%2Fwp-content%2Fuploads%2F2019%2F11%2Fogimage.png)
Go言語でつくるインタプリタ
本書は、Go言語でプログラミング言語のインタプリタを作りながら、プログラミング言語とそのインタプリタについて学ぶ書籍です。 順を追ってコードを示し、C言語風の構文を持つ言語「Monkeyプログラミング言語」のインタプリタを組み立てていきます。字句解析器、構文解析器、評価器を作りながら、ソースコードをトークン列に、トークン列を抽象構文木に変換し、その抽象構文木を評価し実行する方法を学びます。さらに、インタプリタに新しいデータ型を導入し、組み込み関数を追加して、言語を拡張していきます。付録では構文マクロシステムについても扱います。 本書では、Go言語標準のツールキット以外のサードパーティライブラリやフレームワークは使用せず、0行のコードからはじめて、完動するインタプリタができあがるところまでを体験します。その過程を通じて、プログラミング言語とインタプリタの仕組みを実践的に学ぶことができます。
私と型システムとポエム
最近巷では俄に型システムについての言及が増え、型システムポエマーが増えてる気がするので自分もその時流に乗りたい。 完全にポエムだけどなんかあったら随時指摘ください。直します。 TL;DR 言いたいことはまとめると次 型システムは程度問題なのでちょうどいいところを探すべき 型は万能でも強さが正義でもない(だから未だに研究されてる) よく知りもしないくせに計算機科学を侮辱するのはやめろ 予防線 あくまでポエムですので中身はないです 私は型理論専攻で学位はとったものの研究者ではないのであまり信用しすぎないように 型システムの過去 型システムは大まかに次のような利点があるとされてきた(個人的主観) 「異常」なプログラムを検出する仕組み 静的解析による分かりやすいエラーメッセージ 型そのもののドキュメント性 IDEでのcompletionに貢献 最適化に貢献 (数学に正しく裏打ちされたsemanti
PythonがJavaを抜く - PYPLプログラミング言語ランキング
2004年6月〜2018年4月 PYPL PopularitY of Programming Language Index / 円グラフ 5月PYPL PopularitY of Programming Language Index / 円グラフ 5月PYPL PopularitY of Programming Language Index / 棒グラフ 長期にわたって、Pythonは増加傾向、Javaは下落傾向を続けている。PYPL PopularitY of Programming Language Indexでは、JavaとPythonの値が逆転してPythonが1位になった。プログラミング言語のランキングはデータの集計方法やデータソースの違いなどで順位に違いが見られるが、長期にわたる増減の傾向は一致していることが多い。他のプログラミング言語人気でも、長期にわたり、Javaは下落傾向
モバイル型ロボット「ロボホン」用のプログラミング学習ソフト『ブラウザ型プログラミングツール』を発売
2018年5月9日 ロボホンの動作や対話をWebブラウザ上で簡単にプログラミング。タブレット端末からの操作も可能に モバイル型ロボット「ロボホン」用のプログラミング学習ソフト 『ブラウザ型プログラミングツール※1』を発売 シャープは、モバイル型ロボット「RoBoHoN(ロボホン)」用のプログラミング学習ソフトウェア『ブラウザ型プログラミングツール』＜SR-B04AT＞を発売します。2020年度以降に小学校でのプログラミング教育が必修化されることを見据え、学校や塾などの教育機関に提案してまいります。 本ソフトウェアは、ブロック型のオブジェクトを組み合わせることで、簡単に「ロボホン」の動作や対話などのプログラムを作成できます。Webブラウザ上で動作するので、パソコンはもちろん、タブレット端末などでも手軽にプログラミングすることが可能です。また、パソコンやタブレット端末と「ロボホン」をWi-Fi
週刊Railsウォッチ（20180427）Rails開発者アンケート2018結果発表、「次に学びたい言語」、各種カンファレンス目白押しほか｜TechRacho by BPS株式会社
2018.04.27 週刊Railsウォッチ（20180427）Rails開発者アンケート2018結果発表、「次に学びたい言語」、各種カンファレンス目白押しほか こんにちは、hachi8833です。最近はTechRachoが私の外部記憶装置と化しています。 ゴールデンウィーク特集号というつもりでもなかったのですが、またしても駆け込みでガンガン増やしてしまいました。この後もう少し足すかもしれません（懲りてない）。 ゴールデンウィーク前のウォッチ、さわやか気分でいってみましょう。次回のウォッチは5/11（金）の予定です。GW中日の5/1と5/2には何かポエム系記事書くかもしれません。 今回のつっつきも、BPSの福岡拠点であるウイングドアの皆さまと画面共有しながら行いました。いつもありがとうございます。今回はなぜかZoomのご機嫌がよろしくなかったので、appear.inに切り替えてしのぎました
世紀の傑作ゴミプログラミング言語
しょしー @syocy ログ出力の有無で顕在化する並行処理のバグとか過剰なログ出力でディスクがあふれてシステム停止とかを見ているので、多くの言語が採用する「ログ出力は副作用のないものとして扱う」という姿勢に疑問を持つ。むしろ積極的に言語機能で保護・制限すべき部分なのでは。デバッグ時のprintは別としても。 2018-03-25 18:38:37
OCaml でも採用されているレベルベースの多相型型推論とは - はやくプログラムになりたい
言語実装 Advent Calendar 2017 の16日目の記事です． GoCaml という OCaml のサブセットな言語を実装していて，多相型の型推論を実装するために論文を読んだり OCaml の実装をちょっと追ったりしていたので，その知識を整理する意味でこのエントリを書いています． この記事では OCaml の型推論器のベースになっている「レベルベースの多相型型推論アルゴリズム」について概略を直感的に説明しようと思います． 理論的になぜこのアルゴリズムで正しく動作するのかについてはこの記事で概要を把握した上で論文 のほうを読んでいただければ理解が速いと思います． また，この記事では最もシンプルな単相型のHM型推論については知っている前提で書きます． ご存知でない場合は， 住井先生の MinCaml の型推論実装の解説 五十嵐先生の型推論の解説 20日目の@uint256_t さん
型推論機構の実装
ここでは <式> の代わりに e という記号(メタ変数)，<識別子> の代わりに x という記号(メタ変数)を用いている． また，型(メタ変数 τ)として，整数を表す int, 真偽値を表す boolを考える． さて，型推論のアルゴリズムを考える前に，そもそも「式 e が型 τ を持つ」という関係がどのような時に成立するかを正確に記述したい． 例えば「式 1+1 は型 int を持つ」だろうが， 「式 if 1 then 2+3 else 4 は型 int を持つ」は 成立しないと思われる．この，「式 e が型 τ を持つ」 という判断を型判断(type judgment)と呼び，e : τ と略記する． しかし，一般に式には変数が現れるため，例えば単に x が int を持つか，といわれても判断することができない．このため，変数に対しては，そ れが持つ型を何か仮定しないと型判断は下せない
Stack Overflowが2018年の調査結果を発表。一番使われている言語はJavaScript、一番好きな言語はRustに
回答数は約9万。世界中のエンジニアが回答し、約6割はバックエンドデベロッパー、約2割はモバイルデベロッパー。男性が約93％、女性が約7％。 年齢構成では、18歳から24歳が24％、25歳から34歳が最も多く49％、35歳から44歳が18％、45歳から54歳が5％となっています。 質問は多岐にわたっていますが、ここでは回答者が使用している言語と好きな言語の結果を引用します。 複数回答による使用言語のトップはJavaScript。次がHTML、CSS、SQLと続き、5位にJavaが入っています。 仕事の多いプログラミング言語はほぼ共通 10日ほど前の記事「人気が下降しプログラマの求人も少ないプログラミング言語ワースト10は？ 一方で仕事の多い言語は？ CodementorXとCoding Dojoの調査結果」で、フリーランスエンジニアのマッチングサイト「CodementorX」とプログラミング
正月からMSXのZ80アセンブラを書いていた - きしだのHatena
あけましておめでとうございます。 どこぞに、正月３日に起こった出来事が１年を決めるという話が流れてましたが、そうすると今年は１年、夜中にZ80アセンブラを書いて昼間寝る感じになるんでしょうか・・・ 書いてたのは、こんな感じで誤差拡散でカラーテーブルを表示するプログラムです。 まずは素直なカラーテーブル 最初、年末に何を思ったかこんな感じのカラーテーブル表示プログラムを作りました。MSX2は赤緑8階調、青4階調の256色を同時表示できていたので、それを表示するとこうなるのです。 100 DEFINT A-Z 110 SCREEN 8 120 FOR I=0 TO 15 130 R=(I MOD 8)*32 140 B1=INT(I/8) 150 FOR J=0 TO 15 160 LINE (I*16,J*13)-(I*16+15,J*13+12),R+B1+(J MOD 8)*4+INT(
漸進的型付けの未来を考える - -
この記事はCAMPHOR- Advent Calendar 2017 11日目の記事です． アブストラクト 漸進的型付けは，ひとつの言語の中で静的型付けと動的型付けをスムーズに組み合わせるための技術です． よく知られた特徴は any 型を使った静的型付けで， TypeScript や Python といったプログラミング言語には既に実装されています． しかし，理論と実際のプログラミング言語の間には大きなギャップが存在します． 特に，漸進的型付けの理論で提案されているキャストを用いた動的型検査が実装されていないために， 静的型付けの恩恵を十分に得られていないという問題があります． この記事では，まず漸進的型付けの理論をコード例を用いて紹介し， 現状の漸進的型付き言語が抱える問題を解説します． そのあとで，漸進的型付き言語が目指すべき目標を理論的視点から論じます． それらの目標は，静的型付けを
SystemC - Wikipedia
この項目では、ハードウェア記述言語について説明しています。「System C」と称されることもあるセガ・エンタープライゼスのアーケードゲーム基板については「Cボード」をご覧ください。 SystemC（システムシー）は、電子回路機器の機能設計への使用を目的としたハードウェア記述言語 (HDL) の一種である。SystemC登場以前より存在し、純然たるHDLであるVerilogやVHDLに比べ、動作レベルモデリングなど、よりシステム寄りの記述言語である。 SystemCは、プログラム言語であるC++のクラスライブラリを提供している。独立した文法ではない。ライブラリにはハードウェア記述の為の機能、並列実行の概念やデータ型を扱う各種関数を定義している。プログラムはC++コンパイラでコンパイルすることができる。生成したオブジェクトはハードウェアのシミュレータとして動作する。 言語としては、Veril
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
The Little Typer
https://dl.acm.org/citation.cfm?id=2984004
男性の3人に1人がプログラミング経験あり、使用経験は「C言語」がトップ、50代では「BASIC」 
