Proof Summit 2015 <http: /> で発表した、SAT/SMTソルバの仕組みです。 Proofということで、論理学的側面からの面白さを出来るだけ紹介しています。

SIMULA（シミュラ; SIMUlation LAnguage）は、オルヨハン・ダールとクリステン・ニガードによってALGOL60を拡張する形で1960年代に開発が始められたシミュレーション用途のプログラミング言語である[2]。 ALGOLのbegin ... endで囲まれた部分であるブロック（block）の概念を実体的な実例（instance）として扱うことを目的として、クラス（class）の構文と対象（object、オブジェクト）の概念を初めて導入した言語である[3]。初期のオブジェクト指向プログラミング言語の一つである。 概要[編集] オスロのノルウェー計算センターのクリステン・ニガードとオルヨハン・ダールが1962年から1967年にかけて、Simula の元となる Simula I と Simula67 を ALGOL 60 の拡張として設計/実装した。Simula は当初シミ

ＷＥＢ制作者にとっての強力な手助けとなる「無料素材」や、ＰＣの作業効率を格段に向上させる「フリーソフト」。ＷＥＢの世界では、もはやタダで手に入らないものは無いんじゃないかとさえ思えるほど、さまざまなものが無料で配布・提供されています。 しかしそれらは「使用料金が無料なだけ」であって、「完全に自由に使用する事が可能ではない」のです。 世の中に無料で出回っている画像やプログラムソースやアプリケーションなども、そのほぼ全てが、なんらかのライセンス（使用許諾条件）に添った形で配布・提供されているのです。 著作権を有する制作者本人が示す使用許諾条件を守る事は、制作者への敬意であると同時に、意図しない「著作権の侵害」を未然に防ぐ手段でもあります。 しかし、このライセンスというのが、なかなかに分かり難い。コムズカシイ文言の洪水だったり、そもそも英文だったり、GPLとかLGPLとかCCとか略語まみれだった

「プログラマはもう要らない」。大手物流会社のシステム子会社で新技術の社内展開を進めるマネージャーはこう言い切る。ここでいうプログラマとは、企業情報システムの開発プロジェクトでプログラムを作成する担当者を指す。ある開発ツールを検証したところ、こうした役割の要員は不要との結論に至ったというのだ。 このマネージャーは記者に対して、ツールを導入した場合の効果をこう語る。「様々な開発言語を知っていて、バグのないソースコードを24時間、延々と高速で書き続ける。そんなスーパープログラマを雇ったのと同じ効果が得られる」。 同社が検証したのは「GeneXus（ジェネクサス）」という開発ツールである。ご存知の方はまだ多くないかもしれない。一口に言えば、アプリケーションの自動生成ツールである。データ項目や画面、業務ルールといった設計情報をGeneXusの表記法で入力すると、ソースコードとテーブル定義情報を自動生

『計算機プログラムの構造と解釈』（Structure and Interpretation of Computer Programs。原題の略称SICPがよく使われる）は、1985年にMIT出版から刊行された、計算機科学分野の古典的な教科書。著者はマサチューセッツ工科大学 (MIT) の教授ハル・アベルソンとジェラルド・ジェイ・サスマン、ジュリー・サスマン。かつてMITコンピュータ科学科の6.001として知られるプログラミングの入門講義で使われていた[1]。第2版（ハードカバー版 ISBN 0-262-01153-0、ペーパーバック版 ISBN 0-262-51087-1）が1996年に刊行された[2]。計算機科学の古典として広く認められている。 表紙に魔術師が描かれているため魔術師本（Wizard Book）としても知られ、まれに表紙の色をとって紫本（Purple Book）とも呼ばれる

EnterpriseZine（エンタープライズジン）編集部では、情報システム担当、セキュリティ担当の方々向けに、EnterpriseZine Day、Security Online Day、DataTechという、3つのイベントを開催しております。それぞれ編集部独自の切り口で、業界トレンドや最新事例を網羅。最新の動向を知ることができる場として、好評を得ています。

■前回のあらすじ 業界経験約10年の中堅技術者が、たまたま読んだ聖典（アプレンティスシップパターン）に影響され、関数型言語であるScalaを勉強しようと決意する。聖典の教えのままに東京近郊でのコミュニティ・勉強会がないかをチェックするものの、大都会東京は関数型言語勉強会不毛の地である事実に打ちのめされる。 しかし、聖典中の「存在しない場合は自分で作りなさい」という教えに従い、オンラインで無料で読めるProgramming Scalaという書籍のオンライン読書会を計画する。 ■前回からの進ちょく どうも、鹿島和郎（かしまかずお）です。まずは前回からの進ちょくを報告します。 わたしが自分でやったことは以下の通りです。 資料を作成した Twitter上でちょびっと宣伝した 知り合いにちょびっと宣伝した 他の方からもいろいろな情報、ご協力をいただきました。 以前の会社の後輩から、彼の同僚が興味があ

本のページをめくるように、どんなWebページも素早く表示できるようにする。グーグルは以前からWebの高速化に取り組んできました。 6月22日から、米サンタクララで行われていたWebサイトのパフォーマンスと運用に関するオライリーのイベント「Velocity 2010」では、グーグルのUrs Hölzle氏がWebの高速化技術について「Speed Matters」（スピードの重要性）というセッションで紹介ています。 Webを高速化するためにどのような技術があり、あるいはどのような技術が検討されているのか、このセッションの内容を紹介しましょう。 スピードは重要だ 私が話そうとしているのは、「Speed matters｣（スピードの重要性）についてだ。Webは空飛ぶジャガイモより速くなれるだろうか？ どのくらい速くなれるだろうか？ （参考：オペラがやってくれた！ グーグルの空飛ぶジャガイモに対抗）

2019/9/25-6に開催されたUnite Tokyo 2019の講演スライドです。 小端 みより（株式会社ミクシィ） こんな人におすすめ ・Unityでより本格的なマルチプレイのゲームを作りたい方 ・そもそも通信や同期処理ってどうやって実装するの？という方 受講者が得られる知見 ・Unityで専用サーバを開発するメリットやその方法 ・Unityでサーバとクライアントを同時に開発するテクニック ・通信に関する知識、専用サーバを運用する方法 Unityのイベント資料はこちらから： https://www.slideshare.net/UnityTechnologiesJapan/clipboards

ヤフー株式会社は、2023年10月1日にLINEヤフー株式会社になりました。LINEヤフー株式会社の新しいブログはこちらです。LINEヤフー Tech Blog こんにちは、R＆D統括本部 開発推進室 セキュリティプラットフォーム技術の戸田　薫です。 個人的に自宅では、 FreeBSD でよく遊んでいて、FreeBSDのパッケージ管理には、portsnap、portupgrade を利用していますが、ヤフーでは独自の方法で行われます。 その背景としてヤフーには、平均15億以上のPVを支えるためやサービスの付加価値のために何万台ものサーバがあり、サービスやシステムごとに大規模なシステムを構成する必要があるため、一般的なパッケージ管理システムよりもより柔軟で効率的なパッケージ管理が必要となっています。 今回は、ヤフーにおけるパッケージの管理についてご紹介します。 ヤフーインストーラ ヤフーでは

emacsというエディタの存在は皆さんご存知かと思います。 しかしながら、立ち上げてはみたものの何をしていいかわからない...もしくは、チャレンジしてみようと思ったけれども機能がありすぎて何やっていいのかわからない...まさにこういった経験はないでしょうか？ 実際のところ私自身も、emacsを使うようになるまで数回挫折しています。やはり自分が挫折してしまった理由も、機能が多すぎて使いこなせなかったことでいつも使わなくなってしまっていました。 このエントリーでは複数回に分けて、emacsを便利かもと感じれるレベルになるまでのチュートリアルをお送りしようと思います。 まず今回はemacsの導入までを実施したいと思います。 なぜいまどきemacsか？ サンがJava FXの実例をデモ − ＠IT Java,そしてemacsの開発者である、ジェームス・ゴスリン氏はEmacsは消滅すべきと語っていま

「Java News.jp（Javaに関する最新ニュース）」の安藤幸央氏が、CoolなプログラミングのためのノウハウやTIPS、筆者の経験などを「Rundown」（駆け足の要点説明）でお届けします（編集部） ちまたにあふれるバージョン表記 少し前に「Web 2.0」「○○2.0」という表記が流行したのを覚えていますでしょうか。よく見かける広告のコピーにも、最近では「バージョンアップ」という言葉が普通に使われています。バージョンや、バージョン表記は、ソフトウェアの世界だけでなく、ごくごく一般化したように思えます。しかし実際には、どういう意味か分からないのが、バージョン表記です。 アプリケーションソフトウェアの開発は、さまざまな状態／段階を経て完成します。その段階／状態と、リリース後の状態／段階を示したのが、バージョン表記です。 例えば、数字以外でも、以下のような表記を見かけたことはありません

ライブドアは3月29日、法人向けデータセンター「DATAHOTEL」（データホテル）で、実サーバと仮想サーバを組み合わせ、柔軟な課金体系で提供する“クラウドっぽい”サービス「P.O.Infrastructure」（P.O.I）の受注を始めた。ソーシャルアプリ事業者が主なターゲット。 実サーバを仮想化されたネットワークに配置することで、実サーバの信頼性と仮想サーバの柔軟性を両立させるサービス。データセンターのメリットはそのままに、電源や配線などを意識することなくスピーディーに拡張できるようにした。トラフィック急増時など時間単位・分単位でリソースを増減する必要がある場合は、仮想サーバで柔軟に対応する。 エンジニアが24時間常駐し、インフラの設計・構築から障害対応までを行う「フルマネージドサービス」として提供。ソーシャルアプリの収益化タイミングを考慮し、初期費用は無料、サービスインまで（1カ月以

iPhoneアプリが作れるFlash CS5のベータ版提供が中止 米アドビ システムズ（以下、アドビ）が10月5日、新製品を発表する年次イベント「Adobe MAX 2009」において、Flashオーサリングツール「Adobe Flash Professional」の次期バージョンCS5（以下、Flash CS5）で作成したFlashアプリケーションをiPhone/iPod touchで動くアプリケーションに変換できるようにすると発表してから、2カ月ほど経過した（参考：FlashアプリがiPhoneで動く——Adobeが変換ツール〜Adobe MAX 2009でお披露目）。 アドビは、Flash CS5のパブリックベータ版を年内には提供開始して、iPhoneアプリ変換機能を使えるようにするとも発表していたが、先日（12月17日）Flash CS5のパブリックベータ版の提供を中止する連絡が届

(これは、オープンソースマガジン2006年6月号の「ハッカー養成塾！」という コーナーに寄稿した記事の、編集前の原稿です。) パワーハッカーへの道ハッカーは書いて理解するハッカーは道具をつくるハッカーは頭の中を掃除するハッカーにも書けない時があるおわりに次回注釈ハッカー養成塾！ 他の方の原稿 パワーハッカーへの道 川合 史朗 そこそこ、プログラムは書けると思う。 エリック・レイモンド(*eric)の言うとおり言語もいくつか かじってみたし、有名なソフトのソースコードも読んでみた。 でも、もっと良いコードを、ばりばり書けるようになりたいな。 本稿では、ハッカーの世界の入口を通り抜けたそんな人が、 次を目指すにはどうすれば良いかを考えてみたい。 ハッカーは書いて理解する フルタイムのプログラマとして働き出して間もない頃、 ある有名なハッカーと話していて、 少し前に発表された論文の技法はどう思う