Skip to content

Instantly share code, notes, and snippets.

@wata-orz
wata-orz / mm167_en.md
Created October 22, 2026 01:10
How AI Was Used (MM167 WordGame)

How AI Was Used (MM167 WordGame)

AI agents came up with the entire solution and wrote all of the solution code. What I (the human) did was set the direction of the work, hand work off between agents, and make submissions and record their scores.

Models and harnesses

Item Details
Models Claude Opus 5.5 (claude-opus-5-5, effort max), OpenAI gpt-6.1-sol / gpt-6-astra (reasoning max)
Harnesses Claude Code and Codex CLI
@wata-orz
wata-orz / mm167.md
Created October 22, 2026 01:09
AI を用いた取り組み (MM167 WordGame)

AI を用いた取り組み (MM167 WordGame)

解法はすべて AI エージェントが考え、解答のコードもすべて AI エージェントが作成しました。人間 (私) が行ったのは、作業方針の指示、エージェント間の引き継ぎ、提出とスコアの記録です。

使用したモデルとハーネス

種類 内容
モデル Claude Opus 5.5 (claude-opus-5-5, effort max)、OpenAI gpt-6.1-sol / gpt-6-astra (reasoning max)
ハーネス Claude Code と Codex CLI
@wata-orz
wata-orz / sssup.rs
Created April 9, 2020 06:03
Finding a Shortest Non-zero Path in Group-Labeled Graphs
/// Computes single-source unorthodox shortest paths with respect to the given shortest-path tree `sp`.
///
/// `is_consistent[u][i]` is true iff the `i`-th edge of `u` is consistent.
/// O(m log n) time.
pub fn sssup(g: &Vec<Vec<(usize, i64)>>, sp: SSSP, is_consistent: &Vec<Vec<bool>>) -> Vec<i64> {
let mut dist = vec![i64::max_value(); g.len()];
let mut uf = UnionFind::new(g.len());
let mut que = std::collections::BinaryHeap::new();
for u in 0..g.len() {
for i in 0..g[u].len() {
use io;
function input() {
local infile = io.openRead(infile);
R = infile.readInt();
C = infile.readInt();
F = infile.readInt();
N = infile.readInt();
B = infile.readInt();
T = infile.readInt();
package lib.graph;
import static java.lang.Math.*;
import java.util.*;
public class MinCostCirculation {
// 最小費用循環流を求める
// O(n^2 m log(nC))だが超高速
// 一つの頂点に接続する辺の容量の和がオーバーフローしないようにすること