私なりの「時間の使い方」のベースは、ソフトウェア・エンジニアとして、いくつものプロジェクトに関わってきた結果辿り着いた、「必ず締め切りは守る」仕事の仕方にある。

Become a true programming master Learn how to code and build efficient algorithms Are you passionate about coding? Try your luck in a brain challenge and join ADB Brain Wars contest! ADB Brain Wars is a contest organized for Polish programmers. Check the details at: adb-brain-wars.com Win great prizes and have a lot of fun! The elimination round begins on the 25th of March Register today! Seven da

予選期間 2019年4月15日(月) ～ 2019年5月10日(金) 決勝日 2019年5月25日(土) @ 六本木ニコファーレ

2. 自己紹介 • 田中 英行 (@tanakh, id:tanakh) • (株)Preferred Infrastructure 勤務 • Haskell好き/C++嫌い • C++歴13年 – 主にWindowsでゲームを作ったりしていました – 最近は仕事でコンソールアプリ書いてます

In Visual Studio 2022 17.10 Preview 2, we’ve introduced some UX updates and usability improvements to the Connection Manager. With these updates we provide a more seamless experience when connecting to remote systems and/or debugging failed connections. Please install the latest Preview to try it out. Read on to learn what the Connection ...

ルネサスでは、エディタ、コンパイラ、エミュレータといった組み込みアプリケーション開発に必要なツールを、開発ニーズや各種マイコン特性に合わせて多種多様に取り揃えています。統合開発環境 High-performance Embedded Workshop (HEW) は、それらのツールを使いやすく統合するフレームワーク です。 High-performance Embedded Workshopを導入すると、各工程ごとに用意された複数のツールを、 あたかも多機能な一つのツールであるかのように 操作できます。さらに、ターゲットマイコンや開発体制によって、ツールチェイン構成や各種オプション設定の組み合わせはさまざまですが、それらをすばやく切り替えながら、 複数のプロジェクトでも効率よく 進めることができます。 すなわちHigh-performance Embedded Workshopによって、ツ

1.V字開発プロセスモデルによる分類 1.1.要件定義 VDM 形式手法(Formal Methods)により仕様の自動検証などを行う。 1.2.システム設計 モデル検査 Spin モデル検査により状態遷移図の状態で自動検証を行う。 LTSA モデル検査により状態遷移図の状態で自動検証を行う。 NuSMV モデル検査により状態遷移図の状態で自動検証を行う。 モデル駆動 ZIPC(商用:キャッツ株式会社) 状態遷移図による検証が可能 MDA モデルを実際に動かして動作検証する。Executable Umlなどを使用して仕様を記述。 IAR visualSTATE(商用:IAR SYSTEMS) ステートマシンを設計、検証、実装できるツール。20ステートまでの無料の評価版あり 1.3.詳細設計 Enterprise Architect(商用:SPARX SYSTEMS) テストツールではないが

プロジェクト一覧からも分かりますが、TPTPを利用することで単体テスト、結合テスト、性能テストなどにおいて同じGUIインターフェイスを通したテストを実現することができます。このため、いくつかの異なるテストツールを複合的に使用するよりも、テストの効率化が容易であるといったところが優れているツールです。 TPTPは、さまざまなテスト機能を提供していますが、その中でも今回は「Testing Tools」プロジェクトが提供するJUnitテストコードの作成・実行に注目しながら解説していきます。 特徴 TPTPによるJUnitテストコードの作成・実行における特徴は以下になります。 ・GUIエディタでのテストスイートの編集・管理 テストエディタと呼ばれるGUIエディタを通してテストクラスおよびテストスイートの編集・管理が可能です。TPTPを利用したテストコードの生成では、テストコードを実行するために必要

はじめに Hadoopとは、Googleの基盤技術であるMapReduceをJavaでオープンソース実装したもので、分散処理のフレームワークです。Hadoopを使うと、1台のサーバでは時間の掛かるような処理を、複数のサーバで分散処理させることができます。「⁠処理を割り振ったサーバが壊れた場合どうするか」などの耐障害性の問題もHadoopが管理してくれるため、利用者は処理のアルゴリズムのみに集中することができるのです。素晴らしいですね。最近ではYahoo!やはてななど、様々な企業でも利用されるようになってきています。 Hadoop導入の背景 筆者はクックパッド株式会社に勤めています。open('http://cookpad.com'); return false;">クックパッドというサイトが有名だと思いますが、他にも携帯版クックパッドであるopen('http://m.cookpad.co

なぜ、いまScalaなのか？ TwitterがScalaを利用しているのは有名ですが、他にも位置情報を利用したfoursquareはScalaで構築されたLiftというWebフレームワークを利用していますし、GTDツールとして有名なRemember The MilkもScalaの利用を検討しているようです。 Scalaは、Java Virtual Machine（以下JVM）上で動くオブジェクト指向＋関数型言語です。簡潔で柔軟な記述が可能であり、マルチコアを意識したライブラリがあり、JVMでのスケールメリットを享受できることが、これらの企業で採用に踏み切った理由であると考えられます。 Scalaは、非常にバランスの取れたプログラミング言語です。本連載では、Scalaの基本的な文法を解説しながら、オブジェクト指向と関数型言語を組み合わせたプログラミングスタイルについて、解説したいと思います。

Haskell の代数データ型で使われるデータ構築子は、実は関数と同様に扱えます。たとえば、四則演算の式を表す代数データ型を以下のように定義したとします。 data Expr = C Int | Add Expr Expr | Sub Expr Expr | Mul Expr Expr | Div Expr Expr deriving Show "1 + 2" は "Add (C 1) (C 2)" と表現できます。この式を評価してみましょう。 Add (C 1) (C 2) → Add (C 1) (C 2) 当たり前ですが、そのものが返ってきます。 話は変わりますが、add という関数を素直に定義すると、こうなるでしょう。 add x y = x + y 式 "add 1 2" を評価するとこうなります。 add 1 2 → 3 すなわち、関数であれば簡略化されますが、データ構築子であ

Toggle How it worksHow it worksToggle The TalentThe TalentToggle Customer StoriesCustomer StoriesToggle I'm a FreelancerI'm a FreelancerLogin Topcoder is a pioneer in crowdsourcing, with 20+ years of experience, and 325,000+ successful challenges in software development, data science/AI, UX design, and QA. Talk to an expert Topcoder is a pioneer in crowdsourcing, with 20+ years of experience, and