評価3: 基本構文と変数の理解 - 評価基準

評価の目的

この評価では、学生がZigの基本的な構文、型システム、演算子を理解し、実用的なプログラムを作成できるかを確認します。型の正確な理解は、Zigプログラミングの基礎となる重要なスキルです。

学習目標

• Zigのプリミティブ型（整数、浮動小数点、ブール、文字）を理解し使用できる
• 型変換を安全に実装できる
• 各種演算子（算術、ビット、比較、オーバーフロー対策）を適切に使用できる
• 実用的なプログラム（温度変換など）を実装できる
• 任意ビット幅整数やcomptime型推論などの高度な機能を理解できる

評価項目

1. 型の理解（25点）

実装チェックポイント:

// 整数型の最大値・最小値
const i8_min = std.math.minInt(i8);   // -128
const i8_max = std.math.maxInt(i8);   // 127
const u8_max = std.math.maxInt(u8);   // 255

// 浮動小数点の精度
const pi_f32: f32 = 3.14159265;
const pi_f64: f64 = 3.14159265358979;

// フォーマット指定子
std.debug.print("{}\n", .{整数});      // 整数
std.debug.print("{d:.2}\n", .{浮動});  // 小数点2桁
std.debug.print("{s}\n", .{文字列});   // 文字列

2. 型変換（25点）

評価ポイント:

// 正しい型変換の例
fn intToFloat(value: i32) f64 {
    return @floatFromInt(value);
}

fn floatToInt(value: f64) i32 {
    return @intFromFloat(value);
}

fn narrowInt(value: i32) !i16 {
    if (value < std.math.minInt(i16) or value > std.math.maxInt(i16)) {
        return error.Overflow;
    }
    return @intCast(value);
}

3. 演算子の活用（25点）

実装例:

// オーバーフロー対策の演算
var x: u8 = 255;
x +%= 1;  // ラップアラウンド: 255 + 1 = 0
std.debug.print("Wrapping: {}\n", .{x});

var y: u8 = 255;
y +|= 1;  // 飽和演算: 255 + 1 = 255 (最大値で飽和)
std.debug.print("Saturating: {}\n", .{y});

4. 実践プログラム（25点）

温度変換の正しい式:

// 摂氏から華氏: F = C × 9/5 + 32
fn celsiusToFahrenheit(celsius: f64) f64 {
    return celsius * 9.0 / 5.0 + 32.0;
}

// 華氏から摂氏: C = (F - 32) × 5/9
fn fahrenheitToCelsius(fahrenheit: f64) f64 {
    return (fahrenheit - 32.0) * 5.0 / 9.0;
}

// 摂氏からケルビン: K = C + 273.15
fn celsiusToKelvin(celsius: f64) f64 {
    return celsius + 273.15;
}

// ケルビンから摂氏: C = K - 273.15
fn kelvinToCelsius(kelvin: f64) f64 {
    return kelvin - 273.15;
}

ボーナス課題の評価

Bonus 1: 任意ビット幅整数（15点）

評価ポイント:

• i3: -4 から 3 までの4ビット符号付き整数
• u5: 0 から 31 までの5ビット符号なし整数
• ビットフラグとしての活用例
• メモリ効率の理解

Bonus 2: comptime型推論（15点）

実装例:

fn maxValue(comptime T: type) T {
    const info = @typeInfo(T);
    return switch (info) {
        .Int => |int_info| blk: {
            if (int_info.signedness == .unsigned) {
                break :blk (@as(T, 1) << int_info.bits) - 1;
            } else {
                break :blk (@as(T, 1) << (int_info.bits - 1)) - 1;
            }
        },
        else => @compileError("Unsupported type"),
    };
}

Bonus 3: ビット操作ユーティリティ（20点）

実装チェックポイント:

fn setBit(value: u32, bit: u5) u32 {
    return value | (@as(u32, 1) << bit);
}

fn clearBit(value: u32, bit: u5) u32 {
    return value & ~(@as(u32, 1) << bit);
}

fn toggleBit(value: u32, bit: u5) u32 {
    return value ^ (@as(u32, 1) << bit);
}

fn checkBit(value: u32, bit: u5) bool {
    return (value & (@as(u32, 1) << bit)) != 0;
}

fn countBits(value: u32) u6 {
    return @popCount(value);
}

fn reverseBytes(value: u32) u32 {
    return @byteSwap(value);
}

Bonus 4: 数値フォーマッター（20点）

実装ヒント:

• std.fmt.allocPrintを使用した文字列生成
• カンマ区切り: 1000000 → "1,000,000"
• 人間が読みやすいサイズ: 1024 → "1 KB", 1048576 → "1 MB"

評価チェックリスト

マンダトリー要件

• [ ] Part 1で全ての型を正しく使用している
• [ ] Part 1で最大値・最小値を正確に表示している
• [ ] Part 2の4つの型変換関数すべてが動作する
• [ ] Part 2のnarrowIntで範囲チェックが実装されている
• [ ] Part 3の算術、ビット、比較演算すべてが実装されている
• [ ] Part 3のオーバーフロー対策演算が正しく動作する
• [ ] Part 4の4つの温度変換関数が正しい計算式で実装されている
• [ ] Part 4のCLIで引数解析とエラー処理が適切
• [ ] すべてのコードがコンパイルエラーなく動作する
• [ ] 提出物のディレクトリ構造が要件を満たす

コード品質

• [ ] 変数名が意味を持っている
• [ ] 適切なインデントとフォーマット
• [ ] 型が明示的に指定されている
• [ ] フォーマット指定子が適切
• [ ] エラーメッセージがわかりやすい

ボーナス要件

• [ ] Bonus 1: 複数の任意ビット幅整数を使用
• [ ] Bonus 2: @typeInfoを使用した型情報取得
• [ ] Bonus 2: maxValueとminValueの両方を実装
• [ ] Bonus 3: 6つのビット操作関数すべてが動作
• [ ] Bonus 4: 4つのフォーマット関数すべてが動作
• [ ] Bonus 4: メモリリークがない（allocator.free使用）

合格基準

レベル	点数	説明
**優秀**	90-100点	すべての型を正確に理解し、複雑な型変換やビット操作を実装できる。ボーナス課題で高度な機能を活用している。
**良好**	80-89点	基本的な型システムを理解し、型変換と演算子を適切に使用できる。一部のボーナス課題に取り組んでいる。
**合格**	70-79点	型の基礎を理解し、基本的なプログラムを作成できる。いくつかの改善点はあるが、次へ進める水準。
**要再提出**	0-69点	型システムの理解が不十分、または実装に重大な問題。基礎の復習と再提出が必要。

学習の手引き

効果的な学習方法

• 型システムの理解

• 型変換の練習

• 演算子の習得

• 実践的なプログラム作成

よくある間違いと対策

間違い1: 型の不一致

// ❌ 間違い
const x: i32 = 10;
const y: f64 = x;  // コンパイルエラー

// ✅ 正しい
const x: i32 = 10;
const y: f64 = @floatFromInt(x);

間違い2: オーバーフロー

// ❌ 間違い（デバッグビルドでパニック）
var x: u8 = 255;
x += 1;

// ✅ 正しい（意図を明示）
var x: u8 = 255;
x +%= 1;  // ラップアラウンド
// または
x +|= 1;  // 飽和演算

間違い3: 型キャストの乱用

// ❌ 問題あり
fn narrowInt(value: i32) i16 {
    return @intCast(value);  // 範囲チェックなし
}

// ✅ 正しい
fn narrowInt(value: i32) !i16 {
    if (value < std.math.minInt(i16) or value > std.math.maxInt(i16)) {
        return error.Overflow;
    }
    return @intCast(value);
}

間違い4: ビット演算の優先順位

// ❌ 間違い（優先順位に注意）
const result = value & 1 << 3;

// ✅ 正しい
const result = value & (@as(u32, 1) << 3);

デバッグのヒント

• 型エラーのデバッグ

• 計算結果の確認

• 範囲チェック

学習リソース

• 公式ドキュメント

• 標準ライブラリ

• コミュニティリソース

時間配分の目安

合計: マンダトリーで8-12時間、ボーナス込みで17-25時間

評価後のフィードバック例

優秀な提出物の場合

型システムの理解が非常に優れています。特に、任意ビット幅整数の
活用とcomptime型推論の実装は、Zigの高度な機能を深く理解して
いることを示しています。

ビット操作ユーティリティの実装は効率的で、エッジケースも適切に
処理されています。フォーマッターの実装も読みやすく、メモリ管理も
完璧です。

次のステップ: ジェネリックプログラミングやメタプログラミングに
進むことをお勧めします。

改善が必要な場合

基本的な型の理解はできていますが、以下の点で改善が必要です:

1. 型変換でエラー処理が不十分です。narrowInt関数で範囲チェックを
   追加してください。
2. オーバーフロー対策演算の使い分けが理解できていません。
   ラップアラウンド(+%=)と飽和演算(+|=)の違いを確認してください。
3. ビット演算で括弧が不足し、意図しない結果になっています。

改善のヒント:
- エラー型を返す関数には必ず!を付ける
- ビット演算では常に括弧で優先順位を明示
- std.mathの関数を活用する

参考: Zig Language Reference の Types と Operators を復習してください。

参考資料

• Zig Language Reference - Types: https://ziglang.org/documentation/master/#Types
• Zig Language Reference - Operators: https://ziglang.org/documentation/master/#Operators
• Zig Standard Library - math: https://ziglang.org/documentation/master/std/#std.math
• Zig Standard Library - fmt: https://ziglang.org/documentation/master/std/#std.fmt
• Zig Learn - Types: https://ziglearn.org/chapter-1/#types