Spaces:
Running
Running
File size: 2,778 Bytes
e277d99 61020d3 e277d99 61020d3 e277d99 61020d3 e277d99 61020d3 e277d99 61020d3 e277d99 61020d3 e277d99 61020d3 e277d99 61020d3 e277d99 61020d3 e277d99 61020d3 e277d99 61020d3 e277d99 61020d3 e277d99 cb9b959 |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 |
<!DOCTYPE html>
<html lang="ja">
<head>
<meta charset="UTF-8">
<title>数字列検索（πデータ）</title>
<style>
body { font-family: monospace; padding: 20px; }
#status { margin-bottom: 1em; }
#results { white-space: pre-wrap; }
</style>
</head>
<body>
<h1>πデータ内の数字列検索</h1>
<div id="status">読み込み準備中…</div>
<div>
<label>検索する数字列：<input type="text" id="query" /></label>
<button id="btn">検索開始</button>
</div>
<div id="results"></div>
<script>
const url = "https://ia800408.us.archive.org/16/items/Pi_500000000/Pi%20-%20Dec%20-%20Chudnovsky.txt";
async function searchPi(query) {
const statusEl = document.getElementById("status");
const resultsEl = document.getElementById("results");
resultsEl.textContent = "";
statusEl.textContent = "読み込み中…";
const resp = await fetch(url);
if (!resp.body) {
statusEl.textContent = "Fetch API のストリーミングをサポートしていません";
return;
}
const reader = resp.body.getReader();
const decoder = new TextDecoder("utf-8");
let chunkCount = 0;
let buffer = "";
let fullText = "";
while (true) {
const { done, value } = await reader.read();
if (done) break;
chunkCount++;
const text = decoder.decode(value, { stream: true });
fullText += text;
statusEl.textContent = `読み込み中…チャンク ${chunkCount}、全 ${fullText.length} 文字読み込み済み`;
// ※ここでは全体を保持しますが、巨大ファイルではメモリ注意
}
statusEl.textContent = `読み込み完了。全 ${fullText.length} 文字`;
const q = query;
if (!q) {
resultsEl.textContent = "検索語を入力してください";
return;
}
const matches = [];
let pos = fullText.indexOf(q, 0);
while (pos !== -1) {
matches.push(pos);
pos = fullText.indexOf(q, pos + 1);
}
resultsEl.textContent = `検索語 "${q}" の出現回数：${matches.length}\n\n`;
for (const idx of matches) {
const start = Math.max(0, idx - 10);
const end = Math.min(fullText.length, idx + q.length + 10);
const context = fullText.slice(start, end);
const before = context.slice(0, idx - start);
const after = context.slice(idx - start + q.length);
resultsEl.textContent += `${idx}文字目: …${before}[${q}]${after}…\n`;
}
}
document.getElementById("btn").addEventListener("click", () => {
const q = document.getElementById("query").value.trim();
searchPi(q);
});
</script>
</body>
</html>
|