はじめに

こんにちは。スーパーソフトウエア東京オフィス 技術部の加藤です。

前回は、ナンプレ（数独）を解いてみたい衝動にかられ、VBA や Python であれこれ試した結果、
なぜか 問題生成側に寄り道 してしまい、肝心の「解く」部分が中途半端になっていました。

そこで今回は原点に戻り、

• 既存ライブラリを使って 「楽に解く」方法

• バックトラッキング法を実装して 「仕組みを理解しながら解く」方法

この 2 つを比較しながら、「解けること」と「答えは一体、いくつ見つかるのか」という点で整理してみます。

本記事の続きはこちらをご覧ください▼
https://note.com/ssltokyo_tech/n/n3a7da6bd872e

こんにちは。スーパーソフトウエア東京オフィス 技術部の加藤です。

先日、プライムビデオで韓流映画をぼーっと見ていました。確か「監視者たち」だったと思うのですが、作中でナンプレ（数独）を暗号として使い、IPアドレスを埋め込むという設定が登場します。

「ナンプレか。やったことはないけど、ロジック的には単純だろう」
そう思ったのが、今回の沼の入口でした。

VBA でナンプレ初級問題を解いてみる

ナンプレを“人間のひらめき”で解くのではなく、ソフトウェアで解けないか？ と考え、まずは Excel VBA で初級編の自動解法を実装してみました。

前提条件

• 赤字：問題（固定マス）

• 黒字：解答

• 「ネイキッドシングル」ボタンを押すと解答が進む

初級問題では、あるマスの候補が 1 つに絞れるという状況が頻繁に発生します。これがいわゆる ネイキッドシングル（Naked Single） です。

本記事の続きはこちらをご覧ください▼
https://note.com/ssltokyo_tech/n/n27d55b59aed7

はじめに

こんにちは。スーパーソフトウエア東京オフィス 技術部の加藤です。

Pythonはシンプルで学習コストが低く、業務システムからデータ分析、AIまで幅広く利用されています。その中でも WEBアプリケーション開発 は Django や Flask などの代表的なWEBフレームワークがあります。
これらは本格的なWEBアプリケーションを開発するのに適していますが、その分、設定や構成の理解が必要で、「ちょっとしたWEBアプリを素早く作りたい」 場合にはやや手間に感じることもあります。

そこで登場するのが Streamlit です。
Streamlitは HTMLやCSSを意識することなく、PythonコードだけでWEBアプリを作成できる フレームワークです。数行のコードで画面を表示でき、コードを保存するだけで画面が自動更新されるため、データ可視化、検証用ツール、社内向けWEBアプリ などを「さくっと」作りたい場合に非常に有効な手段となります。

本記事の続きはこちらをご覧ください▼
https://note.com/ssltokyo_tech/n/n1cc7299b6231

こんにちは。スーパーソフトウエア東京オフィス 技術部の加藤です。

今回は Python で円周率（π）を求めるさまざまな方法 を紹介します。

普段の業務であれば、次のように math.pi を使えば十分です。

本記事の続きはこちらをご覧ください▼
https://note.com/ssltokyo_tech/n/n31ba12c17916

こんにちは。スーパーソフトウエア東京オフィス 技術部の加藤です。

開発作業では、Windows から Linux のテスト環境に SSH 接続し、複数のターミナルを同時に開いて作業することがよくあります。

• コードの確認

• ビルド

• ログ監視

• スタブ実行

• 複数プロセスの起動

このような作業を並行して行うため、気がつくと 10 個以上のターミナルが並んでいる ……という状況も珍しくありません。

こうした現場で頻発するのがいわゆる「黒一色ターミナル問題」です。

Tera Term のデフォルト背景は黒色です。
長時間デバッグやログ確認を続けていると、

• どのターミナルが何の作業をしているのか分からない

という問題が頻発します。

設定 → ウィンドウ → 背景色 から手動で色を変えることもできますが、
ターミナルを頻繁に立ち上げる開発現場では、毎回変更するのは現実的ではありません。

本記事の続きはこちらをご覧ください▼
https://note.com/ssltokyo_tech/n/nd79c8c945551

こんにちは。スーパーソフトウエア東京オフィス 技術部の加藤です。

C 言語のメモリ管理ミスは、バグの温床になります。特に メモリーリーク はヒープ領域の無駄な消費につながり、長時間動作するサーバプログラムや常駐アプリでは深刻な問題に発展します。

しかし、メモリーリークは C プログラムで もっとも発見しづらいバグのひとつ です。本記事では、メモリーリーク解析ツール Valgrind を使い、

• Valgrind が検出するリーク分類

• 各リークを意図的に発生させる C コード

• 実際の Valgrind 実行結果

• レポートの読み方

• 実務での活用ポイント

をまとめます。

本記事の続きはこちらをご覧ください▼
https://note.com/ssltokyo_tech/n/n88fe0525b54a

こんにちは。スーパーソフトウエア東京オフィス 技術部の加藤です。

先日、組み込みソフトウェアの単体試験で GDB を使ってデバッグをしていた際、ローカル変数を確認しようとしたところ、変数名に続けて <optimized out> と表示されてしまい、値の参照も変更もできない状況に陥りました。

最初は GDB の設定を疑いましたが、原因はまさかのコンパイラ最適化。この最適化を外すまでローカル変数が見えず、デバッグに大きく時間を取られてしまいました。

今回は、私が直面したトラブルをご紹介するとともに、最適化とは何か、GDB でデバッグするときになぜ邪魔になるのか、そしてどうすべきかをまとめてみました。

本記事の続きはこちらをご覧ください▼
https://note.com/ssltokyo_tech/n/na4681e707b27

1. はじめに

こんにちは。スーパーソフトウエア東京オフィス 技術部の加藤です。

ソフトウェア開発における見積もりは、プロジェクト初期に必ず求められる重要な工程です。しかし、経験豊富なエンジニアであっても、見積もりが計画どおりにならない場面は少なくありません。

見積もりとは、本来「将来を正確に当てる作業」ではなく、不確実性を前提にした仮説の設定です。そのため、一度作って終わりではなく、データと振り返りによって精度を高め続ける仕組み（PDCA） を継続的に回すことが極めて重要です。

また、感覚的な“さじ加減”ではなく、「なぜこの数字になったのか」という根拠と考え方を残しておくことで、ステークホルダーへの説明の質が大きく向上します。結果として、プロジェクトリーダーとしての信頼性向上にもつながります。

本記事の続きはこちらをご覧ください▼
https://note.com/ssltokyo_tech/n/nf38f303fd548