#!/usr/bin/env ruby $:.push('/home/hamaji/local/lib/ruby/site_ruby/1.8') $:.push('/home/hamaji/local/lib/ruby/site_ruby/1.8/i386-freebsd4') require 'time' require 'depot' require 'villa' require 'nkf' require 'cgi' require 'reform' SITES = { 'jw' => 'http://ja.wikipedia.org/wiki/', 'ew' => 'http://en.wikipedia.org/wiki/', 'pm' => 'http://planetmath.org/encyclopedia/', 'ht' => 'http://www12.plala.or.jp/ksp/', } SITESUFS = { 'jw' => '', 'ew' => '', 'pm' => '.html', 'ht' => '', } SITENAMES = { 'jw' => 'ja.Wikipedia', 'ew' => 'en.Wikipedia', 'pm' => 'PlanetMath', 'ht' => NKF.nkf('-Ew', '物理のかぎしっぽ'), } cgi = CGI.new q = cgi['q'].to_s @targetsite = cgi['site'].to_s print "Content-Type: text/html; charset=UTF-8\n\n" print %Q( Formula Search

Formula Search

) print %Q(

example: F=ma, e^{jx}, \\frac{1}{n} \\sum x, \\sin^2x+\\cos^2x

Result

) def dump_result(rlist, mathfile = "math.db", excludemap = Hash.new) mdb = nil iddb = nil begin mdb = Villa::new(mathfile) iddb = Depot::new("id.db") msg = '' ret = Array.new r = rlist.join('') mdb.curjump(r, Villa::JFORWARD) while true k = mdb.curkey i = k.index(r) break if !i || i != 0 v = mdb.curval.split(',') per = r.size * 100 / (v.shift.to_i + k.size) ret <<= [per, v.shift] mdb.curnext end if (ret.size == 0) msg = "not found" end if (ret.size >= 100) msg = "too many results (#{ret.size} hits)" end if (msg.empty?) retmap = Hash.new ret.each do |f| per = f[0] cnt = f[1] main, sub = iddb.get(cnt).split("\n") info = main.split(',') site = info.shift # id = info.shift # time = Time.at(info.shift.to_i) title = info.shift formula = [info.join(',')] next if (@targetsite != '' && site != @targetsite) ninfo = [ per, cnt, site, title, formula, sub ? sub : title ] # ninfo = [ per, cnt, site, id, time, title, formula ] if (!excludemap.key?(title)) if (retmap.key?(title)) retmap[title][0] += per retmap[title][4] <<= formula else retmap[title] = ninfo end end end print ", #{retmap.size} hits.
" retmap.sort{|x,y| c = y[1][0] <=> x[1][0] (c != 0) ? c : x[1][1].to_i <=> y[1][1].to_i }.each do |f| # per, cnt, site, id, time, title, formula = f[1] per, cnt, site, path, formula, title = f[1] print %Q(
#{title} @#{SITENAMES[site]} (#{per}%)
#{formula.join('
')} \n) end print "
" return retmap else print %Q(

#{msg}\n) end ensure mdb.close if mdb iddb.close if iddb end end begin arg = q.dup msg = nil if (arg.size < 3) msg = 'too short' elsif ((r = reform(arg)).size < 2) msg = 'too short' else print %Q(

'#{q}' => '#{r.join(' ')}') rmap = dump_result(r) if (rmap && ri = intersect(r)) print %Q(

Similar result

) print %Q(

'#{q}' => '#{ri.join(' ')}') dump_result(ri, "int.db", rmap) end end if (msg) print %Q(

#{q} : #{msg}\n) end rescue print "

\n"
  print CGI.escapeHTML("#{$!.to_s}\n")
  print CGI.escapeHTML("#{$!.backtrace.join("\n")}\n")
  print "
\n" ensure print %Q(

home / index

hamaji _at_ nii.ac.jp / shinichiro.h
) end