インプレス NextPublishingの書籍一覧

関数型プログラミングへの関心が高まる中、多くのプログラミング言語がその核心的な概念を採用しています。この流れを受け、本書ではOCamlという関数型プログラミング言語を通じて、関数型プログラミングの基礎及びその応用について詳しく解説します。
OCamlは、その直感的な文法と高度な抽象化機能を備え、複雑なアプリケーションの開発に適しています。「OCamlとは何か？」「実際に使い物になるのか？」と疑問を持つかもしれませんが、OCamlの学習は関数型プログラミングの理解を深め、さまざまな言語でのプログラミングスキルの向上につながります。
OCamlで学ぶことにより、プログラミングの基本的な概念を習得し、他言語にも適用可能なプログラミング技術を手に入れることができるでしょう。

【目次】
第1章　はじめに
第2章　基本的なデータと型
第3章　変数と関数
第4章　条件分岐
第5章　データと型とパターンマッチ
第6章　再帰
第7章　関数の引数
第8章　その他のデータと型
第9章　木構造とアルゴリズム
第10章　エラーハンドリング
第11章　モジュールとファイル分割

本書はあらゆる技術職における、新人からベテランまでの成功体験・失敗体験についてのインタビュー集です。
新人エンジニアであれば、様々なキャリアを積んだエンジニアの成功や失敗体験に触れて自分のキャリアに活かすために。
成長途中のエンジニアなら先人から学ぶことで今後の仕事を加速させるために。
ベテランエンジニアであれば、自身の経験と照らし合わせて、今だからこそ人に学び今後につなげる
そんな情報として共有できればと思います。

【目次】
〈インタビュー1〉流通業なのに在庫数をゼロにしてしまった……
〈インタビュー2〉排気ガスの浄化システムが溶けて火災寸前に……
〈インタビュー3〉本番障害対応の解析のチャンスが……
〈インタビュー4〉明け方のシステムメンテ作業……
〈インタビュー5〉DB作成プログラムに誤りが……
〈インタビュー6〉ECUの法規不適合……
〈インタビュー7〉ひとつのシステム開発現場に長く携わりすぎた……
〈インタビュー8〉部下を活かせず雰囲気が悪く……
〈インタビュー9〉癖のある方と関わって精神面が……
〈インタビュー10〉技術に詳しくない人に目を向けなかったせいで……
〈インタビュー11〉ネットワーク工事が間に合わない……
〈インタビュー12〉ワンマン気質の社長のもとで……
〈インタビュー13〉客先からのクレーム対応に失敗……
〈インタビュー14〉NC旋盤を壊してしまった……
〈インタビュー15〉仕入れ先に無理な要求を……
ほか

本書は数値解析手法のひとつである有限要素法をPythonによって実装するための方法の解説書です。
具体的にはPythonを使って、有限要素法のメッシュ作成やソルバ実行や結果の可視化が、ライブラリを使ってできることを目指します。ただし、Pythonの基礎知識や有限要素法の理論の基礎は本書では扱いません。
本書では次のような人を対象としています。
・Pythonでデータ分析をしていて、Pythonによる有限要素法の実装について興味がある人
・上記についてフルスクラッチではなく、あくまでライブラリを使いこなしたい人
・有限要素法の入門書を読んだ人(まったくの初心者は対象外です)
・NumpyやMatplotlibのように、Pythonicに有限要素法解析と可視化をしたい人

【目次】
第1章　環境構築
第2章　1次元解析
第3章　2次元解析
第4章　3次元解析
第5章　振動解析
付録A　ローカルでの環境構築⽅法

本書では、技術同人誌の企画、制作に関する方針、スケジュールの立て方、技術同人誌の執筆、紙媒体の入稿、イベント準備や当日の運営に関する様々な知識を、プロジェクトマネージメント的思考法で体系的に得ることができます。各種の作業について、その準備の方法やどこから手を付けるべきかといった技術同人誌の制作全体について網羅的な情報をはじめ、同人誌で気をつけるべき文章執筆のポイントやプロモーションの手法なども紹介。この1冊で技術同人誌づくりの概要を知ることができます。
【目次】
第1章　技術同人誌の執筆を始める前に
第2章　技術同人誌の構想と企画
第3章　技術同人誌の計画
第4章　技術同人誌づくりの体制
第5章　技術同人誌づくりのスケジュール
第6章　技術同人誌の装丁
第7章　技術同人誌の執筆
第8章　技術同人誌のマーケティング
第9章　技術同人誌の入稿
第10章　イベントの準備
第11章　イベント当日
第12章　イベント終了後

本書は、デジタルフォレンジック技術の中でも特に注目すべき「メモリフォレンジック」についての入門書です。環境構築から実際の解析手法、さらに応用的なテクニックまで、包括的に解説しています。
本書の対象読者：
・情報セキュリティのプロフェッショナル
・法執行機関の捜査担当者
・デジタルフォレンジック技術に興味を持つ方
前提とする知識：
・Windowsの基本操作ができる方
・Linuxの基本的なコマンドライン操作を行える方
・IPA基本情報技術者試験に合格できる程度のコンピュータ知識を有する方

【目次】
第1章　デジタルフォレンジックの概要
第2章　メモリフォレンジックの特徴
第3章　メモリダンプの取得方法
第4章　Volatility3解析環境の構築
第5章　Voaltility3でのメモリフォレンジック【基礎編】
第6章　Voaltility3でのメモリフォレンジック【応用編】
第7章　おわりに

本書はGo言語を楽しむために、画像処理やWebAssemblyなど様々なコンテンツをオムニバス形式で紹介しています。この本を通じて読者のみなさんがGoをさらに愛するきっかけとなることを願っています。

【目次】
第1章　画像処理で遊ぼう！
第2章　Goでグラフを描写しよう
第3章　GoでCLIを作ろう！
第4章　TinyGoでWebAssembly
第5章　実録！Goのクリーンアーキテクチャ

Flutterでアプリケーション開発をする上で、状態管理は重要なテーマの１つです。しかし、ProviderやRiverpodといった状態管理ライブラリをうまく使いこなせなかったり、使いこなすために情報収集しているケースが多く見られます。
本書ではRiverpodを使ったFlutterアプリケーションの状態管理に必要な知識・技術を広く獲得することを目指し、この1冊で状態管理について理解とライブラリ活用を学ぶことができます。

【目次】
第1章　Riverpod
第2章　基本的な使い方
第3章　詳細な使い方
第4章　実践的な使い方
第5章　イミュータブルと宣言的UI

【ECMAScript2017の最新チュートリアルガイド！】

本書は新世代のJavascriptであるES2017のチュートリアルガイドです。Node.jsなどに見られるようにWebサービス開発に於ける共通言語となっているJavascriptの中でも標準的な仕様であるECMAScript2017によるプログラミング手法を基礎から学習することができます。
【目次】
はじめに
　なぜJavaScriptなのか？
　JavaScriptをもっと知ってもらうために
第1章　JavaScript解説
　1.1　ECMAScript
　1.2　Node.js
　1.3　JavaScriptの使われ方とその問題
　1.4　JavaScriptの応用例
　1.5　他にも
　1.6　JavaScriptエンジニアとしてのキャリア
　1.7　まとめ
第2章　JavaScriptの始め方
　2.1　Node.jsのインストール
　2.2　npm
　2.3　トランスパイラ
　2.4　バンドラ
　2.5　推奨パッケージ
　2.6　Visual Studio Code
第3章　ECMAScript
　3.1　コメント
　3.2　変数
　3.3　関数
　3.4　型とリテラル
　3.5　制御構文
　3.6　例外
　3.7　class
　3.8　便利な演算子・構文
　3.9　モジュール
　3.10　非同期プログラミング
第4章　型の恩恵をうける
　4.1　Flow
第5章　ユニットテストをしよう
　5.1　AVA
　5.2　TDD
　5.3　ウェブブラウザ向けの開発におけるテスト
Appendix　JavaScriptの歩き方
　A.1　できる限り公式ドキュメントを読む
　A.2　公式以外なら
　A.3　技術選定には注意する
　A.4　エンジニアが身につけるべき基礎力

航空機や人工衛星がサイバー攻撃の標的となる時代になりました。本書では、航空機や衛星のシステムの基礎を解説し、それらがどのような脅威にさらされているのかを詳しく説明します。GNSS/GPSのジャミング・スプーフィング攻撃、航空機・衛星の無線通信の脆弱性、フライトシミュレーターを活用した実践的な分析など、多岐にわたるテーマを扱っています。
また、実際のWebサイトやオープンソースソフトウェアを活用したハンズオンを豊富に盛り込み、手を動かしながら学べる構成になっています。CTF（Capture The Flag）コンテストへの参加を視野に入れた実践的な内容も含まれており、セキュリティ技術を深く理解できる一冊です。
サイバーセキュリティ技術者だけでなく、航空機や宇宙関連の分野に興味がある方にもおすすめの一冊です。技術の最前線を知りたい方、実践的なスキルを身につけたい方は、ぜひ手に取ってみてください。
【目次】
第1章　全体像と背景
第2章　電子戦とGNSS/GPSジャミング・スプーフィング攻撃
第3章　航空機編I ADS-Bと航空機に関する情報収集
第4章　航空機編II/衛星編V 無線通信とSDR
第5章　航空機編III フライトシミュレーター
第6章　航空機編IV 航空機のサイバーセキュリティ
第7章　衛星編I Webアプリケーションによる衛星追跡と情報収集
第8章　衛星編II 衛星追跡アプリケーション
第9章　衛星編III 衛星の軌道計算とプログラミング
第10章　衛星編IV ネットで完結する衛星通信
第11章　衛星編VI 衛星シミュレーターNOS^3
第12章　衛星編VII 衛星のサイバーセキュリティ
第13章　ドローンとAI
第14章　CTF編I サイバーセキュリティのイベント
第15章　CTF編II CTF
第16章　サイバーセキュリティ入門

本書は業務設計に必要な基本的な考え方と、ITツールの実装に関する解説書です。最新ツールを入れたのに経理業務が効率化されない、そもそも最適な業務フローがわからない。そんな悩みはありませんか？経営管理のプロである会計士がGoogle Apps ScriptやSaaSのAPIを組み合わせた活用方法をレクチャーします。また、Google Apps Scriptをモダンに書くためのTypeScript導入方法も掲載しており、プログラミング入門としても活用できます。
【目次】
第1章　はじめに
1.1　経営管理の概要
1.2　経理業務とは
1.3　経理の現状の問題
1.4　解決手段
1.5　経営管理のあるべき姿
1.6　現状を理解する
1.7　業務改善を行う
1.8　さいごに
第2章　Google Apps Script 入門
2.1　Google Apps Script(GAS)とは
2.2　GASの導入方法
2.3　文法編
2.4　Google Apps を操作してみよう
2.5　よく使用する関数
2.6　さいごに
第3章　API入門
3.1　Web API とは何か
3.2　経営管理とAPI
3.3　APIの使い方
3.4　APIと認可
3.5　さいごに
第4章　freeeAPI を活用した実例
4.1　はじめに
4.2　事前準備
4.3　アクセストークンを取得する
4.4　実践例
4.5　さいごに
第5章　ケーススタディ
5.1　プロジェクト概要
5.2　さいごに
第6章　Google Apps Script をローカルで書くための環境をインストールしよう
6.1　はじめに
6.2　Node.js npm
6.3　clasp とは
6.4　@types とは
6.5　Prettierとは
6.6　ESLintとは
6.7　さいごに
第7章　ES6(ECMA2015)
7.1　ES6 とは
7.2　ES6で追加された文法一覧
7.3　さいごに
第8章　TypeScript 入門
8.1　TypeScript とは
8.2　TypeScriptのメインの型
8.3　関数の型定義
8.4　さいごに
第9章　TypeScriptでコードを書いてみよう
9.1　FSを取得する
9.2　変更した部分
9.3　TypeScriptをトランスパイルした結果
9.4　さいごに