パラメタ化ポジションヒープを用いた方法
=====================================================


.. raw:: html
		
		<script src="../_static/raphael-min.js" type="text/javascript"></script>
		<script src="../_static/PPHsearch.js" type="text/javascript"></script>
		<div style="width:800px;height:600px">
			<div style="float:left;width:800px">
				調べたい文字列を入力してください<BR>
				<span>Pattern=</span><input id="PATTERN" type="text" value="abaa"/>
				<input id="MATCH" type="button" value="search"/>
			</div>
			<div style="word-wrap:break-word;"> => <penc>dummy</penc> </div>
			<div style="word-wrap:break-word;"><res>dummy</res> </div>
			<div id="OUTPUT" style="float:left"></div>
		</div>
		<!--
		<script type="text/javascript">
			t = window.location.search.substring(1,window.location.search.length).split('&')[0].substr(2)
			if (t != ""){
				document.getElementById('PATTERN').value= decodeURI(t)
			}			
		</script> 
		-->