var bibbase_data = {"data":"<img src=\"//bibbase.org/img/ajax-loader.gif\" id=\"spinner\"\n  style=\"display: none;\" alt=\"Loading..\" />\n\n<div id=\"bibbase\">\n\n  <script type=\"text/javascript\">\n    var bibbase = {\n      params: {\"bib\":\"https://tyasunao.github.io/pubs.bib\",\"jsonp\":\"1\",\"fullname\":\"1\",\"group0\":\"type\",\"host\":\"bibbase.org\"},\n      data: [{\"bibtype\":\"phdthesis\",\"type\":\"phdthesis\",\"author\":[{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"高野保真\"],\"suffixes\":[]}],\"title\":\"遅延評価に基づく関数型言語におけるメモリ割当量の削減\",\"school\":\"電気通信大学大学院情報理工学研究科，博士（工学）\",\"year\":\"2015年\",\"month\":\"9月\",\"bibtex\":\"@phdthesis{phdthesis,\\n  author      = {高野保真},\\n  title       = {遅延評価に基づく関数型言語におけるメモリ割当量の削減},\\n  school      = {電気通信大学大学院情報理工学研究科，博士（工学）},\\n  year        = {2015年},\\n  month       = {9月}\\n}\\n\\n\",\"author_short\":[\"高野保真\"],\"key\":\"phdthesis\",\"id\":\"phdthesis\",\"bibbaseid\":\"--2015\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"masterthesis\",\"type\":\"masterthesis\",\"author\":[{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"高野保真\"],\"suffixes\":[]}],\"title\":\"Improving Sequenceを第一級の対象とするScheme処理系\",\"school\":\"電気通信大学大学院電気通信学研究科，修士（工学）\",\"year\":\"2006年\",\"month\":\"3月\",\"bibtex\":\"@masterthesis{masterthesis,\\n  author  = {高野保真},\\n  title   = {Improving Sequenceを第一級の対象とするScheme処理系},\\n  school  = {電気通信大学大学院電気通信学研究科，修士（工学）},\\n  year    = {2006年},\\n  month   = {3月}\\n}\\n\\n\",\"author_short\":[\"高野保真\"],\"key\":\"masterthesis\",\"id\":\"masterthesis\",\"bibbaseid\":\"-improvingsequencescheme-2006\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"article\",\"author\":[{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"高野保真\"],\"suffixes\":[]},{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"千代英一郎\"],\"suffixes\":[]}],\"title\":\"反復的な試行にもとづくSMTソルバ実行戦略の検討\",\"journal\":\"情報処理学会論文誌 プログラミング\",\"volume\":\"11\",\"number\":\"2\",\"year\":\"2018年\",\"pages\":\"9–19\",\"bibtex\":\"@article{smtpro,\\n  author          = {高野保真 and 千代英一郎},\\n  title           = {反復的な試行にもとづくSMTソルバ実行戦略の検討},\\n  journal         = {情報処理学会論文誌 プログラミング},\\n  volume          = {11},\\n  number          = {2},\\n  year            = {2018年},\\n  pages           = {9--19}\\n}\\n\\n\",\"author_short\":[\"高野保真\",\"千代英一郎\"],\"key\":\"smtpro\",\"id\":\"smtpro\",\"bibbaseid\":\"--smt-2018\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"article\",\"author\":[{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"高野保真\"],\"suffixes\":[]},{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"岩崎英哉\"],\"suffixes\":[]},{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"佐藤重幸\"],\"suffixes\":[]}],\"title\":\"Glasgow Haskell Compiler上の遅延オブジェクト再利用手法の設計と実装\",\"journal\":\"コンピュータソフトウェア\",\"volume\":\"32\",\"number\":\"1\",\"year\":\"2015年\",\"pages\":\"253–287\",\"bibtex\":\"@article{rtcompsoft,\\n  author          = {高野保真 and 岩崎英哉 and 佐藤重幸},\\n  title           = {Glasgow Haskell Compiler上の遅延オブジェクト再利用手法の設計と実装},\\n  journal         = {コンピュータソフトウェア},\\n  volume          = {32},\\n  number          = {1},\\n  year            = {2015年},\\n  pages           = {253--287}\\n}\\n\\n\",\"author_short\":[\"高野保真\",\"岩崎英哉\",\"佐藤重幸\"],\"key\":\"rtcompsoft\",\"id\":\"rtcompsoft\",\"bibbaseid\":\"---glasgowhaskellcompiler-2015\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"article\",\"author\":[{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"高野保真\"],\"suffixes\":[]},{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"岩崎英哉\"],\"suffixes\":[]},{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"鵜川始陽\"],\"suffixes\":[]}],\"title\":\"Glasgow Haskell Compilerにおける再帰的データ構造のための遅延オブジェクトの再利用\",\"journal\":\"情報処理学会論文誌 プログラミング\",\"volume\":\"5\",\"number\":\"2\",\"year\":\"2012年\",\"pages\":\"67–78\",\"bibtex\":\"@article{rtpro,\\n  author          = {高野保真 and 岩崎英哉 and 鵜川始陽},\\n  title           = {Glasgow Haskell Compilerにおける再帰的データ構造のための遅延オブジェクトの再利用},\\n  journal         = {情報処理学会論文誌 プログラミング},\\n  volume          = {5},\\n  number          = {2},\\n  year            = {2012年},\\n  pages           = {67--78}\\n}\\n\\n\",\"author_short\":[\"高野保真\",\"岩崎英哉\",\"鵜川始陽\"],\"key\":\"rtpro\",\"id\":\"rtpro\",\"bibbaseid\":\"---glasgowhaskellcompiler-2012\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"article\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Iwasaki\"],\"firstnames\":[\"H.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Morimoto\"],\"firstnames\":[\"T.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Takano\"],\"firstnames\":[\"Y.\"],\"suffixes\":[]}],\"title\":\"Pruning with Improving Sequence in Lazy Functional Programs\",\"journal\":\"Higher-Order and Symbolic Computation\",\"volume\":\"24\",\"number\":\"4\",\"year\":\"2011年\",\"pages\":\"281–309\",\"bibtex\":\"@article{is1,\\n  author          = {Iwasaki, H. and  Morimoto, T. and Takano, Y.},\\n  title           = {Pruning with Improving Sequence in Lazy Functional Programs},\\n  journal         = {Higher-Order and Symbolic Computation},\\n  volume          = {24},\\n  number          = {4},\\n  year            = {2011年},\\n  pages           = {281--309}\\n}\\n\\n\",\"author_short\":[\"Iwasaki, H.\",\"Morimoto, T.\",\"Takano, Y.\"],\"key\":\"is1\",\"id\":\"is1\",\"bibbaseid\":\"iwasaki-morimoto-takano-pruningwithimprovingsequenceinlazyfunctionalprograms-2011\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{\"takano, y\":\"https://www.clas.kitasato-u.ac.jp/~takano/index_en.html\"}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"article\",\"author\":[{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"田村知博\"],\"suffixes\":[]},{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"高野保真\"],\"suffixes\":[]},{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"岩崎英哉\"],\"suffixes\":[]}],\"title\":\"純関数型言語の処理系における効率的な枝刈り機構の実装\",\"journal\":\"情報処理学会論文誌 プログラミング\",\"volume\":\"1\",\"number\":\"2\",\"year\":\"2008年\",\"pages\":\"28–41\",\"bibtex\":\"@article{is2,\\n  author          = {田村知博 and 高野保真 and 岩崎英哉},\\n  title           = {純関数型言語の処理系における効率的な枝刈り機構の実装},\\n  journal         = {情報処理学会論文誌 プログラミング},\\n  volume          = {1},\\n  number          = {2},\\n  year            = {2008年},\\n  pages           = {28--41}\\n}\\n\\n\",\"author_short\":[\"田村知博\",\"高野保真\",\"岩崎英哉\"],\"key\":\"is2\",\"id\":\"is2\",\"bibbaseid\":\"----2008\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Sakaji\"],\"firstnames\":[\"H.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Kohana\"],\"firstnames\":[\"M.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Kobayashi\"],\"firstnames\":[\"A.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Takano\"],\"firstnames\":[\"Y.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Izumi\"],\"firstnames\":[\"K.\"],\"suffixes\":[]}],\"title\":\"Card Price Prediction of Trading Cards using Machine Learning Methods\",\"booktitle\":\"The 8th International Workshop on Web Services and Social Media In conjunction with the 22th International Conference on NBiS-2019(WSSM-2019)\",\"year\":\"2019\",\"month\":\"September\",\"location\":\"Oita, Japan\",\"pages\":\"705–714\",\"bibtex\":\"@inproceedings{cardprice,\\n  author          = {Sakaji, H. and Kohana, M. and Kobayashi, A. and Takano, Y. and Izumi, K.},\\n  title           = {Card Price Prediction of Trading Cards using Machine Learning Methods},\\n  booktitle       = {The 8th International Workshop on Web Services and Social Media In conjunction with the 22th International Conference on NBiS-2019(WSSM-2019)},\\n  year            = {2019},\\n  month           = {September},\\n  location        = {Oita, Japan},\\n  pages           = {705--714}\\n}\\n\\n\",\"author_short\":[\"Sakaji, H.\",\"Kohana, M.\",\"Kobayashi, A.\",\"Takano, Y.\",\"Izumi, K.\"],\"key\":\"cardprice\",\"id\":\"cardprice\",\"bibbaseid\":\"sakaji-kohana-kobayashi-takano-izumi-cardpricepredictionoftradingcardsusingmachinelearningmethods-2019\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{\"takano, y\":\"https://www.clas.kitasato-u.ac.jp/~takano/index_en.html\"}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Sakaji\"],\"firstnames\":[\"H.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Kobayashi\"],\"firstnames\":[\"A.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Kohana\"],\"firstnames\":[\"M.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Takano\"],\"firstnames\":[\"Y.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Izumi\"],\"firstnames\":[\"K.\"],\"suffixes\":[]}],\"title\":\"Estimation of Tags Using Various Data for Online Videos\",\"booktitle\":\"The 33rd International Conference on Advanced Information Networking and Applications (AINA-2019)\",\"year\":\"2019\",\"month\":\"March\",\"location\":\"Matsue, Japan\",\"pages\":\"301–312\",\"bibtex\":\"@inproceedings{estimationtags,\\n  author          = {Sakaji, H. and Kobayashi, A. and Kohana, M. and Takano, Y. and Izumi, K.},\\n  title           = {Estimation of Tags Using Various Data for Online Videos},\\n  booktitle       = {The 33rd International Conference on Advanced Information Networking and Applications (AINA-2019)},\\n  year            = {2019},\\n  month           = {March},\\n  location        = {Matsue, Japan},\\n  pages           = {301--312}\\n}\\n\\n\",\"author_short\":[\"Sakaji, H.\",\"Kobayashi, A.\",\"Kohana, M.\",\"Takano, Y.\",\"Izumi, K.\"],\"key\":\"estimationtags\",\"id\":\"estimationtags\",\"bibbaseid\":\"sakaji-kobayashi-kohana-takano-izumi-estimationoftagsusingvariousdataforonlinevideos-2019\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{\"takano, y\":\"https://www.clas.kitasato-u.ac.jp/~takano/index_en.html\"}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Kawaguchi\"],\"firstnames\":[\"H.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Takano\"],\"firstnames\":[\"Y.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Sakuta\"],\"firstnames\":[\"H.\"],\"suffixes\":[]}],\"title\":\"Personal Book Management Application on Blockchain\",\"booktitle\":\"The 33rd International Conference on Advanced Information Networking and Applications (AINA-2019)\",\"year\":\"2019\",\"month\":\"March\",\"location\":\"Matsue, Japan\",\"pages\":\"388-396\",\"bibtex\":\"@inproceedings{blockchainbooks,\\n  author          = {Kawaguchi, H. and Takano, Y. and Sakuta, H.},\\n  title           = {Personal Book Management Application on Blockchain},\\n  booktitle       = {The 33rd International Conference on Advanced Information Networking and Applications (AINA-2019)},\\n  year            = {2019},\\n  month           = {March},\\n  location        = {Matsue, Japan},\\n  pages           = {388-396}\\n}\\n\\n\",\"author_short\":[\"Kawaguchi, H.\",\"Takano, Y.\",\"Sakuta, H.\"],\"key\":\"blockchainbooks\",\"id\":\"blockchainbooks\",\"bibbaseid\":\"kawaguchi-takano-sakuta-personalbookmanagementapplicationonblockchain-2019\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{\"takano, y\":\"https://www.clas.kitasato-u.ac.jp/~takano/index_en.html\"}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Takano\"],\"firstnames\":[\"Y.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Iijima\"],\"firstnames\":[\"Y.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Kobayashi\"],\"firstnames\":[\"K.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Sakuta\"],\"firstnames\":[\"H.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Sakaji\"],\"firstnames\":[\"H.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Kohana\"],\"firstnames\":[\"M.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Kobayashi\"],\"firstnames\":[\"A.\"],\"suffixes\":[]}],\"title\":\"Improving Document Similarity Calculation Using Cosine-Similarity Graphs\",\"booktitle\":\"The 33rd International Conference on Advanced Information Networking and Applications (AINA-2019)\",\"year\":\"2019\",\"month\":\"March\",\"location\":\"Matsue, Japan\",\"pages\":\"512–522\",\"bibtex\":\"@inproceedings{cosinesim,\\n  author          = {Takano, Y. and Iijima, Y. and Kobayashi, K. and Sakuta, H. and Sakaji, H. and Kohana, M. and Kobayashi, A.},\\n  title           = {Improving Document Similarity Calculation Using Cosine-Similarity Graphs},\\n  booktitle       = {The 33rd International Conference on Advanced Information Networking and Applications (AINA-2019)},\\n  year            = {2019},\\n  month           = {March},\\n  location        = {Matsue, Japan},\\n  pages           = {512--522}\\n}\\n\\n\",\"author_short\":[\"Takano, Y.\",\"Iijima, Y.\",\"Kobayashi, K.\",\"Sakuta, H.\",\"Sakaji, H.\",\"Kohana, M.\",\"Kobayashi, A.\"],\"key\":\"cosinesim\",\"id\":\"cosinesim\",\"bibbaseid\":\"takano-iijima-kobayashi-sakuta-sakaji-kohana-kobayashi-improvingdocumentsimilaritycalculationusingcosinesimilaritygraphs-2019\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{\"takano, y\":\"https://www.clas.kitasato-u.ac.jp/~takano/index_en.html\"}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Takano\"],\"firstnames\":[\"Y.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Iwasaki\"],\"firstnames\":[\"H\"],\"suffixes\":[]}],\"title\":\"Thunk Recycling for Lazy Functional Languages: Operational Semantics and Correctness\",\"booktitle\":\"30th ACM/SIGAPP Symposium on Applied Computing (SAC2015)\",\"year\":\"2015\",\"month\":\"April\",\"location\":\"Salamanca, Spain\",\"pages\":\"2079–2086\",\"bibtex\":\"@inproceedings{rtsac,\\n  author          = {Takano,Y. and Iwasaki,H},\\n  title           = {Thunk Recycling for Lazy Functional Languages: Operational Semantics and Correctness},\\n  booktitle       = {30th ACM/SIGAPP Symposium on Applied Computing (SAC2015)},\\n  year            = {2015},\\n  month           = {April},\\n  location        = {Salamanca, Spain},\\n  pages           = {2079--2086}\\n}\\n\\n\",\"author_short\":[\"Takano, Y.\",\"Iwasaki, H\"],\"key\":\"rtsac\",\"id\":\"rtsac\",\"bibbaseid\":\"takano-iwasaki-thunkrecyclingforlazyfunctionallanguagesoperationalsemanticsandcorrectness-2015\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{\"takano, y\":\"https://www.clas.kitasato-u.ac.jp/~takano/index_en.html\"}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Morimoto\"],\"firstnames\":[\"T.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Takano\"],\"firstnames\":[\"Y.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Iwasaki\"],\"firstnames\":[\"H\"],\"suffixes\":[]}],\"title\":\"Instantly Turning a Naive Exhaustive Search into Three Efficient Searches with Pruning\",\"booktitle\":\"International Symposium on Practical Aspects of Declarative Languages\",\"volume\":\"4354\",\"year\":\"2007\",\"month\":\"January\",\"location\":\"Nice, France\",\"pages\":\"65–79\",\"bibtex\":\"@inproceedings{mor,\\n  author          = {Morimoto,T. and Takano,Y. and Iwasaki,H},\\n  title           = {Instantly Turning a Naive Exhaustive Search into Three Efficient Searches with Pruning},\\n  booktitle       = {International Symposium on Practical Aspects of Declarative Languages},\\n  volume          = {4354},\\n  year            = {2007},\\n  month           = {January},\\n  location        = {Nice, France},\\n  pages           = {65--79}\\n}\\n\\n\",\"author_short\":[\"Morimoto, T.\",\"Takano, Y.\",\"Iwasaki, H\"],\"key\":\"mor\",\"id\":\"mor\",\"bibbaseid\":\"morimoto-takano-iwasaki-instantlyturninganaiveexhaustivesearchintothreeefficientsearcheswithpruning-2007\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{\"takano, y\":\"https://www.clas.kitasato-u.ac.jp/~takano/index_en.html\"}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"proceedings\",\"type\":\"proceedings\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Takano\"],\"firstnames\":[\"Y.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Iwasaki\"],\"firstnames\":[\"H.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Ugawa\"],\"firstnames\":[\"T.\"],\"suffixes\":[]}],\"title\":\"Reducing Thunks for Recursive Data Structures in Lazy Functional Programs\",\"booktitle\":\"Haskell Implementation Workshop 2011\",\"year\":\"2011\",\"month\":\"September\",\"location\":\"Tokyo, Japan\",\"bibtex\":\"@proceedings{rthiw,\\n  author          = {Takano, Y. and Iwasaki, H. and Ugawa, T.},\\n  title           = {Reducing Thunks for Recursive Data Structures in Lazy Functional Programs},\\n  booktitle       = {Haskell Implementation Workshop 2011},\\n  year            = {2011},\\n  month           = {September},\\n  location        = {Tokyo, Japan}\\n}\\n\\n\",\"author_short\":[\"Takano, Y.\",\"Iwasaki, H.\",\"Ugawa, T.\"],\"key\":\"rthiw\",\"id\":\"rthiw\",\"bibbaseid\":\"takano-iwasaki-ugawa-reducingthunksforrecursivedatastructuresinlazyfunctionalprograms-2011\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{\"takano, y\":\"https://www.clas.kitasato-u.ac.jp/~takano/index_en.html\"}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"高野保真\"],\"suffixes\":[]},{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"鵜川始陽\"],\"suffixes\":[]},{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"岩崎英哉\"],\"suffixes\":[]}],\"title\":\"JavaScript仮想機械記述のためのドメイン特化言語\",\"booktitle\":\"日本ソフトウェア科学会 第 21 回プログラミングおよびプログラミング言語ワークショップ論文集\",\"year\":\"2019年\",\"month\":\"3月\",\"bibtex\":\"@inproceedings{ejsvmdl,\\n  author          = {高野保真 and 鵜川始陽 and 岩崎英哉},\\n  title           = {JavaScript仮想機械記述のためのドメイン特化言語},\\n  booktitle       = {日本ソフトウェア科学会 第 21 回プログラミングおよびプログラミング言語ワークショップ論文集},\\n  year            = {2019年},\\n  month           = {3月}\\n}\\n\\n\",\"author_short\":[\"高野保真\",\"鵜川始陽\",\"岩崎英哉\"],\"key\":\"ejsvmdl\",\"id\":\"ejsvmdl\",\"bibbaseid\":\"---javascript-2019\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"高野保真\"],\"suffixes\":[]},{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"岩崎英哉\"],\"suffixes\":[]}],\"title\":\"遅延オブジェクト生成削減による関数型言語処理系の効率化\",\"booktitle\":\"日本ソフトウェア科学会 第 24 回大会論文集\",\"year\":\"2007年\",\"month\":\"9月\",\"location\":\"奈良, 日本\",\"bibtex\":\"@inproceedings{rtsoftware,\\n  author          = {高野保真 and 岩崎英哉},\\n  title           = {遅延オブジェクト生成削減による関数型言語処理系の効率化},\\n  booktitle       = {日本ソフトウェア科学会 第 24 回大会論文集},\\n  year            = {2007年},\\n  month           = {9月},\\n  location        = {奈良, 日本},\\n}\\n\\n\",\"author_short\":[\"高野保真\",\"岩崎英哉\"],\"key\":\"rtsoftware\",\"id\":\"rtsoftware\",\"bibbaseid\":\"---2007\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"高野保真\"],\"suffixes\":[]},{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"岩崎英哉\"],\"suffixes\":[]}],\"title\":\"Improving Sequenceを第一級の対象とするSchemeコンパイラ\",\"booktitle\":\"日本ソフトウェア科学会 第8回プログラミングおよびプログラミング言語ワークショップ論文集\",\"year\":\"2006年\",\"month\":\"3月\",\"location\":\"滋賀，日本\",\"pages\":\"153–162\",\"bibtex\":\"@inproceedings{is3,\\n  author          = {高野保真 and 岩崎英哉},\\n  title           = {Improving Sequenceを第一級の対象とするSchemeコンパイラ},\\n  booktitle       = {日本ソフトウェア科学会 第8回プログラミングおよびプログラミング言語ワークショップ論文集},\\n  year            = {2006年},\\n  month           = {3月},\\n  location        = {滋賀，日本},\\n  pages           = {153--162},\\n}\\n\\n\",\"author_short\":[\"高野保真\",\"岩崎英哉\"],\"key\":\"is3\",\"id\":\"is3\",\"bibbaseid\":\"--improvingsequencescheme-2006\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"misc\",\"type\":\"misc\",\"author\":[{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"平澤祐太\"],\"suffixes\":[]},{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"岩崎英哉\"],\"suffixes\":[]},{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"鵜川始陽\"],\"suffixes\":[]},{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"高野保真\"],\"suffixes\":[]}],\"title\":\"JavaScript仮想機械記述言語のコンパイラにおける型に基づく最適化\",\"booktitle\":\"情報処理学会 第129回プログラミング研究会\",\"year\":\"2020年\",\"month\":\"6月\",\"location\":\"オンライン\",\"bibtex\":\"@misc{esjvmdl2,\\n  author          = {平澤祐太 and 岩崎英哉 and 鵜川始陽 and 高野保真},\\n  title           = {JavaScript仮想機械記述言語のコンパイラにおける型に基づく最適化},\\n  booktitle       = {情報処理学会 第129回プログラミング研究会},\\n  year            = {2020年},\\n  month           = {6月},\\n  location        = {オンライン}\\n}\\n\\n\",\"author_short\":[\"平澤祐太\",\"岩崎英哉\",\"鵜川始陽\",\"高野保真\"],\"key\":\"esjvmdl2\",\"id\":\"esjvmdl2\",\"bibbaseid\":\"----javascript-2020\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"misc\",\"type\":\"misc\",\"author\":[{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"石川貴一\"],\"suffixes\":[]},{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"粕野悠聖\"],\"suffixes\":[]},{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"高野保真\"],\"suffixes\":[]},{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"佐久田博司\"],\"suffixes\":[]}],\"title\":\"VRを用いた筋力トレーニングにおけるプロテウス効果\",\"booktitle\":\"情報処理学会 研究報告ヒューマンコンピュータインタラクション（HCI）, 2019-HCI-182\",\"year\":\"2019年\",\"month\":\"3月\",\"number\":\"2\",\"pages\":\"2–5\",\"bibtex\":\"@misc{vrproteus,\\n  author          = {石川貴一 and 粕野悠聖 and 高野保真 and 佐久田博司},\\n  title           = {VRを用いた筋力トレーニングにおけるプロテウス効果},\\n  booktitle       = {情報処理学会 研究報告ヒューマンコンピュータインタラクション（HCI）, 2019-HCI-182},\\n  year            = {2019年},\\n  month           = {3月},\\n  number          = {2},\\n  pages           = {2--5}\\n}\\n\\n\",\"author_short\":[\"石川貴一\",\"粕野悠聖\",\"高野保真\",\"佐久田博司\"],\"key\":\"vrproteus\",\"id\":\"vrproteus\",\"bibbaseid\":\"----vr-2019\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"misc\",\"type\":\"misc\",\"author\":[{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"坂地泰紀\"],\"suffixes\":[]},{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"小林暁雄\"],\"suffixes\":[]},{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"小花聖輝\"],\"suffixes\":[]},{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"高野保真\"],\"suffixes\":[]},{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"和泉潔\"],\"suffixes\":[]}],\"title\":\"様々なデータを用いた動画タグの予測\",\"institution\":\"電子情報通信学会技術研究報告 人工知能と知識処理研究会 （AI）\",\"year\":\"2019年\",\"month\":\"2月\",\"pages\":\"71–75\",\"bibtex\":\"@misc{sakajitag,\\n  author      = {坂地泰紀 and 小林暁雄 and 小花聖輝 and 高野保真 and 和泉潔},\\n  title       = {様々なデータを用いた動画タグの予測},\\n  institution = {電子情報通信学会技術研究報告 人工知能と知識処理研究会 （AI）},\\n  year        = {2019年},\\n  month       = {2月},\\n  pages       = {71--75}\\n}\\n\\n\",\"author_short\":[\"坂地泰紀\",\"小林暁雄\",\"小花聖輝\",\"高野保真\",\"和泉潔\"],\"key\":\"sakajitag\",\"id\":\"sakajitag\",\"bibbaseid\":\"------2019\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{\"li, h\":\"https://lihuixidian.github.io/\"}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"misc\",\"type\":\"misc\",\"author\":[{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"小林将弥\"],\"suffixes\":[]},{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"大澤和哉\"],\"suffixes\":[]},{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"高野保真\"],\"suffixes\":[]},{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"佐久田博司\"],\"suffixes\":[]}],\"title\":\"Hololensを用いたWi-Fi接続情報の可視化\",\"booktitle\":\"情報処理学会 研究報告ヒューマンコンピュータインタラクション（HCI）, 2019-HCI-181\",\"year\":\"2019年\",\"month\":\"1月\",\"number\":\"16\",\"pages\":\"1–6\",\"bibtex\":\"@misc{wifiholo,\\n  author          = {小林将弥 and 大澤和哉 and 高野保真 and 佐久田博司},\\n  title           = {Hololensを用いたWi-Fi接続情報の可視化},\\n  booktitle       = {情報処理学会 研究報告ヒューマンコンピュータインタラクション（HCI）, 2019-HCI-181},\\n  year            = {2019年},\\n  month           = {1月},\\n  number          = {16},\\n  pages           = {1--6}\\n}\\n\\n\",\"author_short\":[\"小林将弥\",\"大澤和哉\",\"高野保真\",\"佐久田博司\"],\"key\":\"wifiholo\",\"id\":\"wifiholo\",\"bibbaseid\":\"----hololenswifi-2019\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"misc\",\"type\":\"misc\",\"author\":[{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"小田俊平\"],\"suffixes\":[]},{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"高野保真\"],\"suffixes\":[]},{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"尾花謙伍\"],\"suffixes\":[]},{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"長谷川大\"],\"suffixes\":[]},{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"佐久田博司\"],\"suffixes\":[]}],\"title\":\"アバタ媒介型見守りシステムにおけるモーションキャプチャ情報を用いた機械学習の利用\",\"booktitle\":\"情報処理学会 研究報告ヒューマンコンピュータインタラクション（HCI），2019-HCI-181\",\"year\":\"2019年\",\"month\":\"1月\",\"number\":\"10\",\"pages\":\"1–5\",\"bibtex\":\"@misc{avator,\\n  author          = {小田俊平 and 高野保真 and 尾花謙伍 and 長谷川大 and 佐久田博司},\\n  title           = {アバタ媒介型見守りシステムにおけるモーションキャプチャ情報を用いた機械学習の利用},\\n  booktitle       = {情報処理学会 研究報告ヒューマンコンピュータインタラクション（HCI），2019-HCI-181},\\n  year            = {2019年},\\n  month           = {1月},\\n  number          = {10},\\n  pages           = {1--5}\\n}\\n\\n\",\"author_short\":[\"小田俊平\",\"高野保真\",\"尾花謙伍\",\"長谷川大\",\"佐久田博司\"],\"key\":\"avator\",\"id\":\"avator\",\"bibbaseid\":\"------2019\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{\"li, h\":\"https://lihuixidian.github.io/\"}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"misc\",\"type\":\"misc\",\"author\":[{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"高野保真\"],\"suffixes\":[]},{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"坂地泰紀\"],\"suffixes\":[]},{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"佐藤重幸\"],\"suffixes\":[]}],\"title\":\"機械学習を用いたSMTソルバの自動選択と自動チューニングに向けて\",\"booktitle\":\"日本ソフトウェア科学会 第35回大会論文集\",\"year\":\"2018年\",\"month\":\"8月\",\"location\":\"大阪，日本\",\"bibtex\":\"@misc{smtpre,\\n  author          = {高野保真 and 坂地泰紀 and 佐藤重幸},\\n  title           = {機械学習を用いたSMTソルバの自動選択と自動チューニングに向けて},\\n  booktitle       = {日本ソフトウェア科学会 第35回大会論文集},\\n  year            = {2018年},\\n  month           = {8月},\\n  location        = {大阪，日本}\\n}\\n\\n\",\"author_short\":[\"高野保真\",\"坂地泰紀\",\"佐藤重幸\"],\"key\":\"smtpre\",\"id\":\"smtpre\",\"bibbaseid\":\"---smt-2018\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"misc\",\"type\":\"misc\",\"author\":[{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"高野保真\"],\"suffixes\":[]},{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"千代英一郎\"],\"suffixes\":[]}],\"title\":\"研究・教育用途の関数型プログラミング言語処理系を構築するためのフレームワークの実現に向けて\",\"booktitle\":\"情報処理学会 第58回プログラミング・シンポジウム\",\"year\":\"2017年\",\"month\":\"1月\",\"location\":\"神奈川，日本\",\"bibtex\":\"@misc{cslambda,\\n  author          = {高野保真 and 千代英一郎},\\n  title           = {研究・教育用途の関数型プログラミング言語処理系を構築するためのフレームワークの実現に向けて},\\n  booktitle       = {情報処理学会 第58回プログラミング・シンポジウム},\\n  year            = {2017年},\\n  month           = {1月},\\n  location        = {神奈川，日本}\\n}\\n\\n\",\"author_short\":[\"高野保真\",\"千代英一郎\"],\"key\":\"cslambda\",\"id\":\"cslambda\",\"bibbaseid\":\"---2017\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"misc\",\"type\":\"misc\",\"author\":[{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"金子舟\"],\"suffixes\":[]},{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"千代英一郎\"],\"suffixes\":[]},{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"高野保真\"],\"suffixes\":[]}],\"title\":\"大規模RDFデータに対するクエリ分散処理における値域情報利用の検討\",\"booktitle\":\"情報処理学会 第58回プログラミング・シンポジウム\",\"year\":\"2017年\",\"month\":\"1月\",\"location\":\"神奈川，日本\",\"bibtex\":\"@misc{rdfpro,\\n  author          = {金子舟 and 千代英一郎 and 高野保真},\\n  title           = {大規模RDFデータに対するクエリ分散処理における値域情報利用の検討},\\n  booktitle       = {情報処理学会 第58回プログラミング・シンポジウム},\\n  year            = {2017年},\\n  month           = {1月},\\n  location        = {神奈川，日本}\\n}\\n\\n\",\"author_short\":[\"金子舟\",\"千代英一郎\",\"高野保真\"],\"key\":\"rdfpro\",\"id\":\"rdfpro\",\"bibbaseid\":\"---rdf-2017\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"misc\",\"type\":\"misc\",\"author\":[{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"中山寛己\"],\"suffixes\":[]},{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"高野保真\"],\"suffixes\":[]},{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"千代英一郎\"],\"suffixes\":[]}],\"title\":\"変数値域を限定した試行に基づく高次制約問題の充足可能性推定方法の検討\",\"booktitle\":\"情報処理学会 第109回プログラミング研究会\",\"year\":\"2016年\",\"month\":\"6月\",\"location\":\"静岡，日本\",\"bibtex\":\"@misc{smtnak,\\n  author          = {中山寛己 and 高野保真 and 千代英一郎},\\n  title           = {変数値域を限定した試行に基づく高次制約問題の充足可能性推定方法の検討},\\n  booktitle       = {情報処理学会 第109回プログラミング研究会},\\n  year            = {2016年},\\n  month           = {6月},\\n  location        = {静岡，日本}\\n}\\n\\n\",\"author_short\":[\"中山寛己\",\"高野保真\",\"千代英一郎\"],\"key\":\"smtnak\",\"id\":\"smtnak\",\"bibbaseid\":\"----2016\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"misc\",\"type\":\"misc\",\"author\":[{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"高野保真\"],\"suffixes\":[]},{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"岩崎英哉\"],\"suffixes\":[]},{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"鵜川始陽\"],\"suffixes\":[]}],\"title\":\"関数型言語処理系における遅延オブジェクト再利用機構の意味論と実行効率の改善\",\"booktitle\":\"情報処理学会 第91回プログラミング研究会\",\"year\":\"2012年\",\"month\":\"10月\",\"location\":\"神奈川，日本\",\"bibtex\":\"@misc{rtprobad,\\n  author          = {高野保真 and 岩崎英哉 and 鵜川始陽},\\n  title           = {関数型言語処理系における遅延オブジェクト再利用機構の意味論と実行効率の改善},\\n  booktitle       = {情報処理学会 第91回プログラミング研究会},\\n  year            = {2012年},\\n  month           = {10月},\\n  location        = {神奈川，日本}\\n}\\n\\n\",\"author_short\":[\"高野保真\",\"岩崎英哉\",\"鵜川始陽\"],\"key\":\"rtprobad\",\"id\":\"rtprobad\",\"bibbaseid\":\"----2012\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"misc\",\"type\":\"misc\",\"author\":[{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"高野保真\"],\"suffixes\":[]},{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"岩崎英哉\"],\"suffixes\":[]},{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"河野健二\"],\"suffixes\":[]}],\"title\":\"特定のフォーマットに依存しない文書処理系の設計と実装\",\"booktitle\":\"情報処理学会 第 47 回プログラミング研究会\",\"year\":\"2004年\",\"month\":\"1月\",\"location\":\"京都，日本\",\"bibtex\":\"@misc{latexhtmlscheme,\\n  author          = {高野保真 and 岩崎英哉 and 河野健二},\\n  title           = {特定のフォーマットに依存しない文書処理系の設計と実装},\\n  booktitle       = {情報処理学会 第 47 回プログラミング研究会},\\n  year            = {2004年},\\n  month           = {1月},\\n  location        = {京都，日本}\\n}\\n\",\"author_short\":[\"高野保真\",\"岩崎英哉\",\"河野健二\"],\"key\":\"latexhtmlscheme\",\"id\":\"latexhtmlscheme\",\"bibbaseid\":\"----2004\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{}},\"downloads\":0,\"html\":\"\"}],\n      metadata: {\"authorlinks\":{}},\n      ownerID: undefined\n    };\n  </script>\n\n  <script type=\"text/javascript\">\n  var site$;\n  if (typeof $ != 'undefined') {\n    console.log('existing jquery: storing and then restoring');\n    site$ = $;\n    $ = null;\n  }\n  </script>\n\n  <script src=\"https://ajax.googleapis.com/ajax/libs/jquery/2.2.4/jquery.min.js\">\n  </script>\n  <script type=\"text/javascript\">\n  if (site$) {\n    console.log('existing jquery: avoiding conflict and restoring');\n    bb$ = $.noConflict(true);\n    $ = site$;\n  } else {\n    bb$ = $;\n  }\n  </script>\n\n  <script src=\"//bibbase.org/js/bibbase.min.js\"\n          type=\"text/javascript\">\n  </script>\n\n  <script type=\"text/javascript\"\n          src=\"https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.1/MathJax.js?config=TeX-AMS-MML_HTMLorMML\">\n  </script>\n  <script type=\"text/x-mathjax-config\">\n    MathJax.Hub.Config({tex2jax: {inlineMath: [['$','$'], ['\\\\(','\\\\)']]},\n                        skipTags: [\"body\"],\n                        processClass: \"bibbase_paper\"});\n  </script>\n\n  <style>\n  @media print {\n    .dontprint {\n        display: none !important;\n    }\n\n  .bibbase_group {\n    background-color: #E0E0E0;\n    font-style: italic;\n    font-size: larger;\n    text-shadow: 0px 0px 3px #FFFFFF;\n    border-radius: 4px 4px 4px 4px;\n    -moz-border-radius: 4px 4px 4px 4px;\n    -webkit-border-radius: 4px;\n    padding: 5px 40px 5px;\n    margin-top: 10px;\n    margin-bottom: 5px;\n    cursor: pointer;\n  }\n\n  .bibbase_paper {\n    margin-bottom: 5px;\n  }\n\n  }\n  </style>\n\n  \n  <div style=\"float: right; margin-right: 10px; margin-top: 10px; text-align: right; font-size: 12px\">\n    generated by\n    <a href=\"//bibbase.org\"\n       onclick=\"trackOutboundLink('bibbase', 'logo clicked', window.location.href, '//bibbase.org'); return false;\">\n      <img src=\"//bibbase.org/img/logo.svg\"\n           style=\"vertical-align: middle; margin-left: 3px; height: 16px;\"/\n           alt=\"bibbase.org\"\n           title=\"BibBase – The easiest way to maintain your publications page.\"\n        ></a>\n    \n  </div>\n  \n\n  <div id=\"bibbase_header\" class=\"dontprint\" style=\"\">\n\n    <ul class=\"nav nav-pills\" style=\"margin: 0px;\">\n\n      <li class=\"dropdown\" id=\"groupby_dropdown\">\n      <a class=\"dropdown-toggle\"\n         data-toggle=\"dropdown\"\n         href=\"#\">\n          Group by\n          <b class=\"caret\"></b>\n      </a>\n      <ul class=\"dropdown-menu\">\n        <li class=\"groupby year\"><a onclick=\"groupby('year')\">\n            Year</a>\n        </li>\n        <li class=\"groupby author\"><a onclick=\"groupby('author_short')\">\n            Author</a>\n        </li>\n        <li class=\"groupby type\"><a onclick=\"groupby('type')\">\n            Type</a>\n        </li>\n        <li class=\"groupby keyword\"><a onclick=\"groupby('keyword')\">\n            Keyword</a>\n        </li>\n        <li class=\"groupby downloads\"><a onclick=\"groupby('downloads')\">\n            Downloads</a>\n        </li>\n      </ul>\n      </li>\n\n\n      <li class=\"dropdown\" id=\"menu_dropdown\">\n      <a class=\"dropdown-toggle\"\n         data-toggle=\"dropdown\"\n         href=\"#\" alt=\"controls\">\n          <i class=\"fa fa-reorder\" alt=\"controls\"></i>\n          <b class=\"caret\"></b>\n      </a>\n      <ul class=\"dropdown-menu\">\n        <li>\n          <a onclick=\"toggleAll()\">\n            <i class=\"fa fa-chevron-down fa-fw\"></i> Expand/Collapse All\n          </a>\n        </li>\n        <li>\n          <a download=\"pubs.bib\" href=\"data:text/bibtex;base64,QHBoZHRoZXNpc3twaGR0aGVzaXMsCiAgYXV0aG9yICAgICAgPSB76auY6YeO5L+d55yffSwKICB0aXRsZSAgICAgICA9IHvpgYXlu7boqZXkvqHjgavln7rjgaXjgY/plqLmlbDlnovoqIDoqp7jgavjgYrjgZHjgovjg6Hjg6Ljg6rlibLlvZPph4/jga7liYrmuJt9LAogIHNjaG9vbCAgICAgID0ge+mbu+awl+mAmuS/oeWkp+WtpuWkp+WtpumZouaDheWgseeQhuW3peWtpueglOeptuenke+8jOWNmuWjq++8iOW3peWtpu+8iX0sCiAgeWVhciAgICAgICAgPSB7MjAxNeW5tH0sCiAgbW9udGggICAgICAgPSB7OeaciH0KfQoKCgpAbWFzdGVydGhlc2lze21hc3RlcnRoZXNpcywKICBhdXRob3IgID0ge+mrmOmHjuS/neecn30sCiAgdGl0bGUgICA9IHtJbXByb3ZpbmcgU2VxdWVuY2XjgpLnrKzkuIDntJrjga7lr77osaHjgajjgZnjgotTY2hlbWXlh6bnkIbns7t9LAogIHNjaG9vbCAgPSB76Zu75rCX6YCa5L+h5aSn5a2m5aSn5a2m6Zmi6Zu75rCX6YCa5L+h5a2m56CU56m256eR77yM5L+u5aOr77yI5bel5a2m77yJfSwKICB5ZWFyICAgID0gezIwMDblubR9LAogIG1vbnRoICAgPSB7M+aciH0KfQoKCgpAYXJ0aWNsZXtzbXRwcm8sCiAgYXV0aG9yICAgICAgICAgID0ge+mrmOmHjuS/neecnyBhbmQg5Y2D5Luj6Iux5LiA6YOOfSwKICB0aXRsZSAgICAgICAgICAgPSB75Y+N5b6p55qE44Gq6Kmm6KGM44Gr44KC44Go44Gl44GPU01U44K944Or44OQ5a6f6KGM5oim55Wl44Gu5qSc6KiOfSwKICBqb3VybmFsICAgICAgICAgPSB75oOF5aCx5Yem55CG5a2m5Lya6KuW5paH6KqMIOODl+ODreOCsOODqeODn+ODs+OCsH0sCiAgdm9sdW1lICAgICAgICAgID0gezExfSwKICBudW1iZXIgICAgICAgICAgPSB7Mn0sCiAgeWVhciAgICAgICAgICAgID0gezIwMTjlubR9LAogIHBhZ2VzICAgICAgICAgICA9IHs5LS0xOX0KfQoKCgpAYXJ0aWNsZXtydGNvbXBzb2Z0LAogIGF1dGhvciAgICAgICAgICA9IHvpq5jph47kv53nnJ8gYW5kIOWyqeW0juiLseWTiSBhbmQg5L2Q6Jek6YeN5bm4fSwKICB0aXRsZSAgICAgICAgICAgPSB7R2xhc2dvdyBIYXNrZWxsIENvbXBpbGVy5LiK44Gu6YGF5bu244Kq44OW44K444Kn44Kv44OI5YaN5Yip55So5omL5rOV44Gu6Kit6KiI44Go5a6f6KOFfSwKICBqb3VybmFsICAgICAgICAgPSB744Kz44Oz44OU44Ol44O844K/44K944OV44OI44Km44Kn44KifSwKICB2b2x1bWUgICAgICAgICAgPSB7MzJ9LAogIG51bWJlciAgICAgICAgICA9IHsxfSwKICB5ZWFyICAgICAgICAgICAgPSB7MjAxNeW5tH0sCiAgcGFnZXMgICAgICAgICAgID0gezI1My0tMjg3fQp9CgoKCkBhcnRpY2xle3J0cHJvLAogIGF1dGhvciAgICAgICAgICA9IHvpq5jph47kv53nnJ8gYW5kIOWyqeW0juiLseWTiSBhbmQg6bWc5bed5aeL6Zm9fSwKICB0aXRsZSAgICAgICAgICAgPSB7R2xhc2dvdyBIYXNrZWxsIENvbXBpbGVy44Gr44GK44GR44KL5YaN5biw55qE44OH44O844K/5qeL6YCg44Gu44Gf44KB44Gu6YGF5bu244Kq44OW44K444Kn44Kv44OI44Gu5YaN5Yip55SofSwKICBqb3VybmFsICAgICAgICAgPSB75oOF5aCx5Yem55CG5a2m5Lya6KuW5paH6KqMIOODl+ODreOCsOODqeODn+ODs+OCsH0sCiAgdm9sdW1lICAgICAgICAgID0gezV9LAogIG51bWJlciAgICAgICAgICA9IHsyfSwKICB5ZWFyICAgICAgICAgICAgPSB7MjAxMuW5tH0sCiAgcGFnZXMgICAgICAgICAgID0gezY3LS03OH0KfQoKCgpAYXJ0aWNsZXtpczEsCiAgYXV0aG9yICAgICAgICAgID0ge0l3YXNha2ksIEguIGFuZCAgTW9yaW1vdG8sIFQuIGFuZCBUYWthbm8sIFkufSwKICB0aXRsZSAgICAgICAgICAgPSB7UHJ1bmluZyB3aXRoIEltcHJvdmluZyBTZXF1ZW5jZSBpbiBMYXp5IEZ1bmN0aW9uYWwgUHJvZ3JhbXN9LAogIGpvdXJuYWwgICAgICAgICA9IHtIaWdoZXItT3JkZXIgYW5kIFN5bWJvbGljIENvbXB1dGF0aW9ufSwKICB2b2x1bWUgICAgICAgICAgPSB7MjR9LAogIG51bWJlciAgICAgICAgICA9IHs0fSwKICB5ZWFyICAgICAgICAgICAgPSB7MjAxMeW5tH0sCiAgcGFnZXMgICAgICAgICAgID0gezI4MS0tMzA5fQp9CgoKCkBhcnRpY2xle2lzMiwKICBhdXRob3IgICAgICAgICAgPSB755Sw5p2R55+l5Y2aIGFuZCDpq5jph47kv53nnJ8gYW5kIOWyqeW0juiLseWTiX0sCiAgdGl0bGUgICAgICAgICAgID0ge+e0lOmWouaVsOWei+iogOiqnuOBruWHpueQhuezu+OBq+OBiuOBkeOCi+WKueeOh+eahOOBquaeneWIiOOCiuapn+ani+OBruWun+ijhX0sCiAgam91cm5hbCAgICAgICAgID0ge+aDheWgseWHpueQhuWtpuS8muirluaWh+iqjCDjg5fjg63jgrDjg6njg5/jg7PjgrB9LAogIHZvbHVtZSAgICAgICAgICA9IHsxfSwKICBudW1iZXIgICAgICAgICAgPSB7Mn0sCiAgeWVhciAgICAgICAgICAgID0gezIwMDjlubR9LAogIHBhZ2VzICAgICAgICAgICA9IHsyOC0tNDF9Cn0KCgoKQGlucHJvY2VlZGluZ3N7Y2FyZHByaWNlLAogIGF1dGhvciAgICAgICAgICA9IHtTYWthamksIEguIGFuZCBLb2hhbmEsIE0uIGFuZCBLb2JheWFzaGksIEEuIGFuZCBUYWthbm8sIFkuIGFuZCBJenVtaSwgSy59LAogIHRpdGxlICAgICAgICAgICA9IHtDYXJkIFByaWNlIFByZWRpY3Rpb24gb2YgVHJhZGluZyBDYXJkcyB1c2luZyBNYWNoaW5lIExlYXJuaW5nIE1ldGhvZHN9LAogIGJvb2t0aXRsZSAgICAgICA9IHtUaGUgOHRoIEludGVybmF0aW9uYWwgV29ya3Nob3Agb24gV2ViIFNlcnZpY2VzIGFuZCBTb2NpYWwgTWVkaWEgSW4gY29uanVuY3Rpb24gd2l0aCB0aGUgMjJ0aCBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gTkJpUy0yMDE5KFdTU00tMjAxOSl9LAogIHllYXIgICAgICAgICAgICA9IHsyMDE5fSwKICBtb250aCAgICAgICAgICAgPSB7U2VwdGVtYmVyfSwKICBsb2NhdGlvbiAgICAgICAgPSB7T2l0YSwgSmFwYW59LAogIHBhZ2VzICAgICAgICAgICA9IHs3MDUtLTcxNH0KfQoKCgpAaW5wcm9jZWVkaW5nc3tlc3RpbWF0aW9udGFncywKICBhdXRob3IgICAgICAgICAgPSB7U2FrYWppLCBILiBhbmQgS29iYXlhc2hpLCBBLiBhbmQgS29oYW5hLCBNLiBhbmQgVGFrYW5vLCBZLiBhbmQgSXp1bWksIEsufSwKICB0aXRsZSAgICAgICAgICAgPSB7RXN0aW1hdGlvbiBvZiBUYWdzIFVzaW5nIFZhcmlvdXMgRGF0YSBmb3IgT25saW5lIFZpZGVvc30sCiAgYm9va3RpdGxlICAgICAgID0ge1RoZSAzM3JkIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBBZHZhbmNlZCBJbmZvcm1hdGlvbiBOZXR3b3JraW5nIGFuZCBBcHBsaWNhdGlvbnMgKEFJTkEtMjAxOSl9LAogIHllYXIgICAgICAgICAgICA9IHsyMDE5fSwKICBtb250aCAgICAgICAgICAgPSB7TWFyY2h9LAogIGxvY2F0aW9uICAgICAgICA9IHtNYXRzdWUsIEphcGFufSwKICBwYWdlcyAgICAgICAgICAgPSB7MzAxLS0zMTJ9Cn0KCgoKQGlucHJvY2VlZGluZ3N7YmxvY2tjaGFpbmJvb2tzLAogIGF1dGhvciAgICAgICAgICA9IHtLYXdhZ3VjaGksIEguIGFuZCBUYWthbm8sIFkuIGFuZCBTYWt1dGEsIEgufSwKICB0aXRsZSAgICAgICAgICAgPSB7UGVyc29uYWwgQm9vayBNYW5hZ2VtZW50IEFwcGxpY2F0aW9uIG9uIEJsb2NrY2hhaW59LAogIGJvb2t0aXRsZSAgICAgICA9IHtUaGUgMzNyZCBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gQWR2YW5jZWQgSW5mb3JtYXRpb24gTmV0d29ya2luZyBhbmQgQXBwbGljYXRpb25zIChBSU5BLTIwMTkpfSwKICB5ZWFyICAgICAgICAgICAgPSB7MjAxOX0sCiAgbW9udGggICAgICAgICAgID0ge01hcmNofSwKICBsb2NhdGlvbiAgICAgICAgPSB7TWF0c3VlLCBKYXBhbn0sCiAgcGFnZXMgICAgICAgICAgID0gezM4OC0zOTZ9Cn0KCgoKQGlucHJvY2VlZGluZ3N7Y29zaW5lc2ltLAogIGF1dGhvciAgICAgICAgICA9IHtUYWthbm8sIFkuIGFuZCBJaWppbWEsIFkuIGFuZCBLb2JheWFzaGksIEsuIGFuZCBTYWt1dGEsIEguIGFuZCBTYWthamksIEguIGFuZCBLb2hhbmEsIE0uIGFuZCBLb2JheWFzaGksIEEufSwKICB0aXRsZSAgICAgICAgICAgPSB7SW1wcm92aW5nIERvY3VtZW50IFNpbWlsYXJpdHkgQ2FsY3VsYXRpb24gVXNpbmcgQ29zaW5lLVNpbWlsYXJpdHkgR3JhcGhzfSwKICBib29rdGl0bGUgICAgICAgPSB7VGhlIDMzcmQgSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEFkdmFuY2VkIEluZm9ybWF0aW9uIE5ldHdvcmtpbmcgYW5kIEFwcGxpY2F0aW9ucyAoQUlOQS0yMDE5KX0sCiAgeWVhciAgICAgICAgICAgID0gezIwMTl9LAogIG1vbnRoICAgICAgICAgICA9IHtNYXJjaH0sCiAgbG9jYXRpb24gICAgICAgID0ge01hdHN1ZSwgSmFwYW59LAogIHBhZ2VzICAgICAgICAgICA9IHs1MTItLTUyMn0KfQoKCgpAaW5wcm9jZWVkaW5nc3tydHNhYywKICBhdXRob3IgICAgICAgICAgPSB7VGFrYW5vLFkuIGFuZCBJd2FzYWtpLEh9LAogIHRpdGxlICAgICAgICAgICA9IHtUaHVuayBSZWN5Y2xpbmcgZm9yIExhenkgRnVuY3Rpb25hbCBMYW5ndWFnZXM6IE9wZXJhdGlvbmFsIFNlbWFudGljcyBhbmQgQ29ycmVjdG5lc3N9LAogIGJvb2t0aXRsZSAgICAgICA9IHszMHRoIEFDTS9TSUdBUFAgU3ltcG9zaXVtIG9uIEFwcGxpZWQgQ29tcHV0aW5nIChTQUMyMDE1KX0sCiAgeWVhciAgICAgICAgICAgID0gezIwMTV9LAogIG1vbnRoICAgICAgICAgICA9IHtBcHJpbH0sCiAgbG9jYXRpb24gICAgICAgID0ge1NhbGFtYW5jYSwgU3BhaW59LAogIHBhZ2VzICAgICAgICAgICA9IHsyMDc5LS0yMDg2fQp9CgoKCkBpbnByb2NlZWRpbmdze21vciwKICBhdXRob3IgICAgICAgICAgPSB7TW9yaW1vdG8sVC4gYW5kIFRha2FubyxZLiBhbmQgSXdhc2FraSxIfSwKICB0aXRsZSAgICAgICAgICAgPSB7SW5zdGFudGx5IFR1cm5pbmcgYSBOYWl2ZSBFeGhhdXN0aXZlIFNlYXJjaCBpbnRvIFRocmVlIEVmZmljaWVudCBTZWFyY2hlcyB3aXRoIFBydW5pbmd9LAogIGJvb2t0aXRsZSAgICAgICA9IHtJbnRlcm5hdGlvbmFsIFN5bXBvc2l1bSBvbiBQcmFjdGljYWwgQXNwZWN0cyBvZiBEZWNsYXJhdGl2ZSBMYW5ndWFnZXN9LAogIHZvbHVtZSAgICAgICAgICA9IHs0MzU0fSwKICB5ZWFyICAgICAgICAgICAgPSB7MjAwN30sCiAgbW9udGggICAgICAgICAgID0ge0phbnVhcnl9LAogIGxvY2F0aW9uICAgICAgICA9IHtOaWNlLCBGcmFuY2V9LAogIHBhZ2VzICAgICAgICAgICA9IHs2NS0tNzl9Cn0KCgoKQHByb2NlZWRpbmdze3J0aGl3LAogIGF1dGhvciAgICAgICAgICA9IHtUYWthbm8sIFkuIGFuZCBJd2FzYWtpLCBILiBhbmQgVWdhd2EsIFQufSwKICB0aXRsZSAgICAgICAgICAgPSB7UmVkdWNpbmcgVGh1bmtzIGZvciBSZWN1cnNpdmUgRGF0YSBTdHJ1Y3R1cmVzIGluIExhenkgRnVuY3Rpb25hbCBQcm9ncmFtc30sCiAgYm9va3RpdGxlICAgICAgID0ge0hhc2tlbGwgSW1wbGVtZW50YXRpb24gV29ya3Nob3AgMjAxMX0sCiAgeWVhciAgICAgICAgICAgID0gezIwMTF9LAogIG1vbnRoICAgICAgICAgICA9IHtTZXB0ZW1iZXJ9LAogIGxvY2F0aW9uICAgICAgICA9IHtUb2t5bywgSmFwYW59Cn0KCgoKQGlucHJvY2VlZGluZ3N7ZWpzdm1kbCwKICBhdXRob3IgICAgICAgICAgPSB76auY6YeO5L+d55yfIGFuZCDptZzlt53lp4vpmb0gYW5kIOWyqeW0juiLseWTiX0sCiAgdGl0bGUgICAgICAgICAgID0ge0phdmFTY3JpcHTku67mg7PmqZ/morDoqJjov7Djga7jgZ/jgoHjga7jg4njg6HjgqTjg7PnibnljJboqIDoqp59LAogIGJvb2t0aXRsZSAgICAgICA9IHvml6XmnKzjgr3jg5Xjg4jjgqbjgqfjgqLnp5HlrabkvJog56ysIDIxIOWbnuODl+ODreOCsOODqeODn+ODs+OCsOOBiuOCiOOBs+ODl+ODreOCsOODqeODn+ODs+OCsOiogOiqnuODr+ODvOOCr+OCt+ODp+ODg+ODl+irluaWh+mbhn0sCiAgeWVhciAgICAgICAgICAgID0gezIwMTnlubR9LAogIG1vbnRoICAgICAgICAgICA9IHsz5pyIfQp9CgoKCkBpbnByb2NlZWRpbmdze3J0c29mdHdhcmUsCiAgYXV0aG9yICAgICAgICAgID0ge+mrmOmHjuS/neecnyBhbmQg5bKp5bSO6Iux5ZOJfSwKICB0aXRsZSAgICAgICAgICAgPSB76YGF5bu244Kq44OW44K444Kn44Kv44OI55Sf5oiQ5YmK5rib44Gr44KI44KL6Zai5pWw5Z6L6KiA6Kqe5Yem55CG57O744Gu5Yq5546H5YyWfSwKICBib29rdGl0bGUgICAgICAgPSB75pel5pys44K944OV44OI44Km44Kn44Ki56eR5a2m5LyaIOesrCAyNCDlm57lpKfkvJroq5bmlofpm4Z9LAogIHllYXIgICAgICAgICAgICA9IHsyMDA35bm0fSwKICBtb250aCAgICAgICAgICAgPSB7OeaciH0sCiAgbG9jYXRpb24gICAgICAgID0ge+WliOiJrywg5pel5pysfSwKfQoKCgpAaW5wcm9jZWVkaW5nc3tpczMsCiAgYXV0aG9yICAgICAgICAgID0ge+mrmOmHjuS/neecnyBhbmQg5bKp5bSO6Iux5ZOJfSwKICB0aXRsZSAgICAgICAgICAgPSB7SW1wcm92aW5nIFNlcXVlbmNl44KS56ys5LiA57Sa44Gu5a++6LGh44Go44GZ44KLU2NoZW1l44Kz44Oz44OR44Kk44OpfSwKICBib29rdGl0bGUgICAgICAgPSB75pel5pys44K944OV44OI44Km44Kn44Ki56eR5a2m5LyaIOesrDjlm57jg5fjg63jgrDjg6njg5/jg7PjgrDjgYrjgojjgbPjg5fjg63jgrDjg6njg5/jg7PjgrDoqIDoqp7jg6/jg7zjgq/jgrfjg6fjg4Pjg5foq5bmlofpm4Z9LAogIHllYXIgICAgICAgICAgICA9IHsyMDA25bm0fSwKICBtb250aCAgICAgICAgICAgPSB7M+aciH0sCiAgbG9jYXRpb24gICAgICAgID0ge+a7i+izgO+8jOaXpeacrH0sCiAgcGFnZXMgICAgICAgICAgID0gezE1My0tMTYyfSwKfQoKCgpAbWlzY3tlc2p2bWRsMiwKICBhdXRob3IgICAgICAgICAgPSB75bmz5r6k56WQ5aSqIGFuZCDlsqnltI7oi7Hlk4kgYW5kIOm1nOW3neWni+mZvSBhbmQg6auY6YeO5L+d55yffSwKICB0aXRsZSAgICAgICAgICAgPSB7SmF2YVNjcmlwdOS7ruaDs+apn+aisOiomOi/sOiogOiqnuOBruOCs+ODs+ODkeOCpOODqeOBq+OBiuOBkeOCi+Wei+OBq+WfuuOBpeOBj+acgOmBqeWMln0sCiAgYm9va3RpdGxlICAgICAgID0ge+aDheWgseWHpueQhuWtpuS8miDnrKwxMjnlm57jg5fjg63jgrDjg6njg5/jg7PjgrDnoJTnqbbkvJp9LAogIHllYXIgICAgICAgICAgICA9IHsyMDIw5bm0fSwKICBtb250aCAgICAgICAgICAgPSB7NuaciH0sCiAgbG9jYXRpb24gICAgICAgID0ge+OCquODs+ODqeOCpOODs30KfQoKCgpAbWlzY3t2cnByb3RldXMsCiAgYXV0aG9yICAgICAgICAgID0ge+efs+W3neiytOS4gCBhbmQg57KV6YeO5oKg6IGWIGFuZCDpq5jph47kv53nnJ8gYW5kIOS9kOS5heeUsOWNmuWPuH0sCiAgdGl0bGUgICAgICAgICAgID0ge1ZS44KS55So44GE44Gf562L5Yqb44OI44Os44O844OL44Oz44Kw44Gr44GK44GR44KL44OX44Ot44OG44Km44K55Yq55p6cfSwKICBib29rdGl0bGUgICAgICAgPSB75oOF5aCx5Yem55CG5a2m5LyaIOeglOeptuWgseWRiuODkuODpeODvOODnuODs+OCs+ODs+ODlOODpeODvOOCv+OCpOODs+OCv+ODqeOCr+OCt+ODp+ODs++8iEhDSe+8iSwgMjAxOS1IQ0ktMTgyfSwKICB5ZWFyICAgICAgICAgICAgPSB7MjAxOeW5tH0sCiAgbW9udGggICAgICAgICAgID0gezPmnIh9LAogIG51bWJlciAgICAgICAgICA9IHsyfSwKICBwYWdlcyAgICAgICAgICAgPSB7Mi0tNX0KfQoKCgpAbWlzY3tzYWthaml0YWcsCiAgYXV0aG9yICAgICAgPSB75Z2C5Zyw5rOw57SAIGFuZCDlsI/mnpfmmoHpm4QgYW5kIOWwj+iKseiBlui8nSBhbmQg6auY6YeO5L+d55yfIGFuZCDlkozms4nmvZR9LAogIHRpdGxlICAgICAgID0ge+anmOOAheOBquODh+ODvOOCv+OCkueUqOOBhOOBn+WLleeUu+OCv+OCsOOBruS6iOa4rH0sCiAgaW5zdGl0dXRpb24gPSB76Zu75a2Q5oOF5aCx6YCa5L+h5a2m5Lya5oqA6KGT56CU56m25aCx5ZGKIOS6uuW3peefpeiDveOBqOefpeitmOWHpueQhueglOeptuS8miDvvIhBSe+8iX0sCiAgeWVhciAgICAgICAgPSB7MjAxOeW5tH0sCiAgbW9udGggICAgICAgPSB7MuaciH0sCiAgcGFnZXMgICAgICAgPSB7NzEtLTc1fQp9CgoKCkBtaXNje3dpZmlob2xvLAogIGF1dGhvciAgICAgICAgICA9IHvlsI/mnpflsIblvKUgYW5kIOWkp+a+pOWSjOWTiSBhbmQg6auY6YeO5L+d55yfIGFuZCDkvZDkuYXnlLDljZrlj7h9LAogIHRpdGxlICAgICAgICAgICA9IHtIb2xvbGVuc+OCkueUqOOBhOOBn1dpLUZp5o6l57aa5oOF5aCx44Gu5Y+v6KaW5YyWfSwKICBib29rdGl0bGUgICAgICAgPSB75oOF5aCx5Yem55CG5a2m5LyaIOeglOeptuWgseWRiuODkuODpeODvOODnuODs+OCs+ODs+ODlOODpeODvOOCv+OCpOODs+OCv+ODqeOCr+OCt+ODp+ODs++8iEhDSe+8iSwgMjAxOS1IQ0ktMTgxfSwKICB5ZWFyICAgICAgICAgICAgPSB7MjAxOeW5tH0sCiAgbW9udGggICAgICAgICAgID0gezHmnIh9LAogIG51bWJlciAgICAgICAgICA9IHsxNn0sCiAgcGFnZXMgICAgICAgICAgID0gezEtLTZ9Cn0KCgoKQG1pc2N7YXZhdG9yLAogIGF1dGhvciAgICAgICAgICA9IHvlsI/nlLDkv4rlubMgYW5kIOmrmOmHjuS/neecnyBhbmQg5bC+6Iqx6KyZ5LyNIGFuZCDplbfosLflt53lpKcgYW5kIOS9kOS5heeUsOWNmuWPuH0sCiAgdGl0bGUgICAgICAgICAgID0ge+OCouODkOOCv+WqkuS7i+Wei+imi+WuiOOCiuOCt+OCueODhuODoOOBq+OBiuOBkeOCi+ODouODvOOCt+ODp+ODs+OCreODo+ODl+ODgeODo+aDheWgseOCkueUqOOBhOOBn+apn+aisOWtpue/kuOBruWIqeeUqH0sCiAgYm9va3RpdGxlICAgICAgID0ge+aDheWgseWHpueQhuWtpuS8miDnoJTnqbbloLHlkYrjg5Ljg6Xjg7zjg57jg7PjgrPjg7Pjg5Tjg6Xjg7zjgr/jgqTjg7Pjgr/jg6njgq/jgrfjg6fjg7PvvIhIQ0nvvInvvIwyMDE5LUhDSS0xODF9LAogIHllYXIgICAgICAgICAgICA9IHsyMDE55bm0fSwKICBtb250aCAgICAgICAgICAgPSB7MeaciH0sCiAgbnVtYmVyICAgICAgICAgID0gezEwfSwKICBwYWdlcyAgICAgICAgICAgPSB7MS0tNX0KfQoKCgpAbWlzY3tzbXRwcmUsCiAgYXV0aG9yICAgICAgICAgID0ge+mrmOmHjuS/neecnyBhbmQg5Z2C5Zyw5rOw57SAIGFuZCDkvZDol6Tph43lubh9LAogIHRpdGxlICAgICAgICAgICA9IHvmqZ/morDlrabnv5LjgpLnlKjjgYTjgZ9TTVTjgr3jg6vjg5Djga7oh6rli5Xpgbjmip7jgajoh6rli5Xjg4Hjg6Xjg7zjg4vjg7PjgrDjgavlkJHjgZHjgaZ9LAogIGJvb2t0aXRsZSAgICAgICA9IHvml6XmnKzjgr3jg5Xjg4jjgqbjgqfjgqLnp5HlrabkvJog56ysMzXlm57lpKfkvJroq5bmlofpm4Z9LAogIHllYXIgICAgICAgICAgICA9IHsyMDE45bm0fSwKICBtb250aCAgICAgICAgICAgPSB7OOaciH0sCiAgbG9jYXRpb24gICAgICAgID0ge+Wkp+mYqu+8jOaXpeacrH0KfQoKCgpAbWlzY3tjc2xhbWJkYSwKICBhdXRob3IgICAgICAgICAgPSB76auY6YeO5L+d55yfIGFuZCDljYPku6Poi7HkuIDpg459LAogIHRpdGxlICAgICAgICAgICA9IHvnoJTnqbbjg7vmlZnogrLnlKjpgJTjga7plqLmlbDlnovjg5fjg63jgrDjg6njg5/jg7PjgrDoqIDoqp7lh6bnkIbns7vjgpLmp4vnr4njgZnjgovjgZ/jgoHjga7jg5Xjg6zjg7zjg6Djg6/jg7zjgq/jga7lrp/nj77jgavlkJHjgZHjgaZ9LAogIGJvb2t0aXRsZSAgICAgICA9IHvmg4XloLHlh6bnkIblrabkvJog56ysNTjlm57jg5fjg63jgrDjg6njg5/jg7PjgrDjg7vjgrfjg7Pjg53jgrjjgqbjg6B9LAogIHllYXIgICAgICAgICAgICA9IHsyMDE35bm0fSwKICBtb250aCAgICAgICAgICAgPSB7MeaciH0sCiAgbG9jYXRpb24gICAgICAgID0ge+elnuWliOW3ne+8jOaXpeacrH0KfQoKCgpAbWlzY3tyZGZwcm8sCiAgYXV0aG9yICAgICAgICAgID0ge+mHkeWtkOiInyBhbmQg5Y2D5Luj6Iux5LiA6YOOIGFuZCDpq5jph47kv53nnJ99LAogIHRpdGxlICAgICAgICAgICA9IHvlpKfopo/mqKFSREbjg4fjg7zjgr/jgavlr77jgZnjgovjgq/jgqjjg6rliIbmlaPlh6bnkIbjgavjgYrjgZHjgovlgKTln5/mg4XloLHliKnnlKjjga7mpJzoqI59LAogIGJvb2t0aXRsZSAgICAgICA9IHvmg4XloLHlh6bnkIblrabkvJog56ysNTjlm57jg5fjg63jgrDjg6njg5/jg7PjgrDjg7vjgrfjg7Pjg53jgrjjgqbjg6B9LAogIHllYXIgICAgICAgICAgICA9IHsyMDE35bm0fSwKICBtb250aCAgICAgICAgICAgPSB7MeaciH0sCiAgbG9jYXRpb24gICAgICAgID0ge+elnuWliOW3ne+8jOaXpeacrH0KfQoKCgpAbWlzY3tzbXRuYWssCiAgYXV0aG9yICAgICAgICAgID0ge+S4reWxseWvm+W3sSBhbmQg6auY6YeO5L+d55yfIGFuZCDljYPku6Poi7HkuIDpg459LAogIHRpdGxlICAgICAgICAgICA9IHvlpInmlbDlgKTln5/jgpLpmZDlrprjgZfjgZ/oqabooYzjgavln7rjgaXjgY/pq5jmrKHliLbntITllY/poYzjga7lhYXotrPlj6/og73mgKfmjqjlrprmlrnms5Xjga7mpJzoqI59LAogIGJvb2t0aXRsZSAgICAgICA9IHvmg4XloLHlh6bnkIblrabkvJog56ysMTA55Zue44OX44Ot44Kw44Op44Of44Oz44Kw56CU56m25LyafSwKICB5ZWFyICAgICAgICAgICAgPSB7MjAxNuW5tH0sCiAgbW9udGggICAgICAgICAgID0gezbmnIh9LAogIGxvY2F0aW9uICAgICAgICA9IHvpnZnlsqHvvIzml6XmnKx9Cn0KCgoKQG1pc2N7cnRwcm9iYWQsCiAgYXV0aG9yICAgICAgICAgID0ge+mrmOmHjuS/neecnyBhbmQg5bKp5bSO6Iux5ZOJIGFuZCDptZzlt53lp4vpmb19LAogIHRpdGxlICAgICAgICAgICA9IHvplqLmlbDlnovoqIDoqp7lh6bnkIbns7vjgavjgYrjgZHjgovpgYXlu7bjgqrjg5bjgrjjgqfjgq/jg4jlho3liKnnlKjmqZ/mp4vjga7mhI/lkbPoq5bjgajlrp/ooYzlirnnjofjga7mlLnlloR9LAogIGJvb2t0aXRsZSAgICAgICA9IHvmg4XloLHlh6bnkIblrabkvJog56ysOTHlm57jg5fjg63jgrDjg6njg5/jg7PjgrDnoJTnqbbkvJp9LAogIHllYXIgICAgICAgICAgICA9IHsyMDEy5bm0fSwKICBtb250aCAgICAgICAgICAgPSB7MTDmnIh9LAogIGxvY2F0aW9uICAgICAgICA9IHvnpZ7lpYjlt53vvIzml6XmnKx9Cn0KCgoKQG1pc2N7bGF0ZXhodG1sc2NoZW1lLAogIGF1dGhvciAgICAgICAgICA9IHvpq5jph47kv53nnJ8gYW5kIOWyqeW0juiLseWTiSBhbmQg5rKz6YeO5YGl5LqMfSwKICB0aXRsZSAgICAgICAgICAgPSB754m55a6a44Gu44OV44Kp44O844Oe44OD44OI44Gr5L6d5a2Y44GX44Gq44GE5paH5pu45Yem55CG57O744Gu6Kit6KiI44Go5a6f6KOFfSwKICBib29rdGl0bGUgICAgICAgPSB75oOF5aCx5Yem55CG5a2m5LyaIOesrCA0NyDlm57jg5fjg63jgrDjg6njg5/jg7PjgrDnoJTnqbbkvJp9LAogIHllYXIgICAgICAgICAgICA9IHsyMDA05bm0fSwKICBtb250aCAgICAgICAgICAgPSB7MeaciH0sCiAgbG9jYXRpb24gICAgICAgID0ge+S6rOmDve+8jOaXpeacrH0KfQo=\">\n            <i class=\"fa fa-download fa-fw\"></i> Download BibTeX\n          </a>\n        </li>\n        <li>\n          <a href=\"//bibbase.org/rss?bib=https://tyasunao.github.io/pubs.bib\">\n            <i class=\"fa fa-rss fa-fw\"></i> RSS Feed\n          </a>\n          </li>\n      </ul>\n      </li>\n\n      \n\n\n      \n    </ul>\n\n\n    <div class=\"alert alert-success bibbase_msg\" id=\"bibbase_msg_embed\"\n         style=\"display: none;\">\n\n      Excellent! Next you can\n      <a href=\"/network/register?next=/network/newSiteFromTemplate%3Fbiburl=https://tyasunao.github.io/pubs.bib\"\n      >create a new website with this list</a>, or\n      embed it in an existing web page by copying &amp; pasting\n      any of the following snippets.\n\n      <div style=\"text-align: left; margin-top: 1em;\">\n        <strong>JavaScript</strong>\n        <span class=\"comment recommended\">(easiest)</span>\n        <div class=\"well well-small\">\n          <code>\n            &lt;script src=\"https://bibbase.org/show?bib=https%3A%2F%2Ftyasunao.github.io%2Fpubs.bib&amp;jsonp=1&amp;fullname=1&amp;group0=type&amp;jsonp=1\"&gt;&lt;/script&gt;\n          </code>\n        </div>\n\n        <strong>PHP</strong>\n        <div class=\"well well-small\">\n          <code>\n            &lt;?php\n            $contents = file_get_contents(\"https://bibbase.org/show?bib=https%3A%2F%2Ftyasunao.github.io%2Fpubs.bib&amp;jsonp=1&amp;fullname=1&amp;group0=type\");\n            print_r($contents);\n            ?&gt;\n          </code>\n        </div>\n\n        <strong>iFrame</strong>\n        <span class=\"comment\">(not recommended)</span>\n        <div class=\"well well-small\">\n          <code>\n            &lt;iframe src=\"https://bibbase.org/show?bib=https%3A%2F%2Ftyasunao.github.io%2Fpubs.bib&amp;jsonp=1&amp;fullname=1&amp;group0=type\"&gt;&lt;/iframe&gt;\n          </code>\n        </div>\n\n        <p>\n          For more details see the <a href=\"//bibbase.org/help\">documention</a>.\n        </p>\n      </div>\n    </div>\n\n    <div class=\"alert alert-success bibbase_msg\" id=\"bibbase_msg_preview\"\n         style=\"display: none;\">\n\n      This is a preview! To use this list on your own web site\n      or create a new web site from it,\n      <a href=\"/network/register?next=/network/newAccountWithFile%3FfileId=\"\n      >create a free account</a>. The file will be added\n      and you will be able to edit it in the File Manager.\n      We will show you instructions once you've created your account.\n    </div>\n\n    <div class=\"alert alert-warning bibbase_msg\" id=\"bibbase_msg_mendeley1\"\n         style=\"display: none;\">\n\n      <p>To the site owner:</p>\n\n      <p><strong>Action required!</strong> Mendeley is changing its\n        API. In order to keep using Mendeley with BibBase past April\n        14th, you need to:\n        <ol>\n          <li>renew the authorization for BibBase on Mendeley, and</li>\n          <li>update the BibBase URL\n            in your page the same way you did when you initially set up\n            this page.\n          </li>\n        </ol>\n      </p>\n\n      <p>\n        <a href=\"http://bibbase.org/cgi-bin/mendeley2/get.py\">\n          <i class=\"fa fa-angle-double-right\"></i>\n          Fix it now</a>\n      </p>\n    </div>\n\n  </div>\n\n\n  <div id=\"bibbase_body\">\n    \n  \n  <div class=\"bibbase_group_whole\" id=\"group_article\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_article')\"\n      onkeypress=\"toggleGroup('group_article')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>article</span>\n      <span class=\"bibbase_group_count\">\n        \n        (5)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"--smt-2018\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  反復的な試行にもとづくSMTソルバ実行戦略の検討.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  高野保真;  and 千代英一郎\n</span>\n\n  \n\n</span>\n\n  <i>情報処理学会論文誌 プログラミング</i>, 11(2): 9–19.  2018年.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/--smt-2018\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('--smt-2018')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{smtpro,\n  author          = {高野保真 and 千代英一郎},\n  title           = {反復的な試行にもとづくSMTソルバ実行戦略の検討},\n  journal         = {情報処理学会論文誌 プログラミング},\n  volume          = {11},\n  number          = {2},\n  year            = {2018年},\n  pages           = {9--19}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"---glasgowhaskellcompiler-2015\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  Glasgow Haskell Compiler上の遅延オブジェクト再利用手法の設計と実装.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  高野保真; 岩崎英哉;  and 佐藤重幸\n</span>\n\n  \n\n</span>\n\n  <i>コンピュータソフトウェア</i>, 32(1): 253–287.  2015年.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/---glasgowhaskellcompiler-2015\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('---glasgowhaskellcompiler-2015')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{rtcompsoft,\n  author          = {高野保真 and 岩崎英哉 and 佐藤重幸},\n  title           = {Glasgow Haskell Compiler上の遅延オブジェクト再利用手法の設計と実装},\n  journal         = {コンピュータソフトウェア},\n  volume          = {32},\n  number          = {1},\n  year            = {2015年},\n  pages           = {253--287}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"---glasgowhaskellcompiler-2012\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  Glasgow Haskell Compilerにおける再帰的データ構造のための遅延オブジェクトの再利用.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  高野保真; 岩崎英哉;  and 鵜川始陽\n</span>\n\n  \n\n</span>\n\n  <i>情報処理学会論文誌 プログラミング</i>, 5(2): 67–78.  2012年.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/---glasgowhaskellcompiler-2012\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('---glasgowhaskellcompiler-2012')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{rtpro,\n  author          = {高野保真 and 岩崎英哉 and 鵜川始陽},\n  title           = {Glasgow Haskell Compilerにおける再帰的データ構造のための遅延オブジェクトの再利用},\n  journal         = {情報処理学会論文誌 プログラミング},\n  volume          = {5},\n  number          = {2},\n  year            = {2012年},\n  pages           = {67--78}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"iwasaki-morimoto-takano-pruningwithimprovingsequenceinlazyfunctionalprograms-2011\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  Pruning with Improving Sequence in Lazy Functional Programs.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Iwasaki, H.; Morimoto, T.;  and <a class=\"bibbase author link\" href=\"https://www.clas.kitasato-u.ac.jp/~takano/index_en.html\">Takano, Y.</a>\n</span>\n\n  \n\n</span>\n\n  <i>Higher-Order and Symbolic Computation</i>, 24(4): 281–309.  2011年.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/iwasaki-morimoto-takano-pruningwithimprovingsequenceinlazyfunctionalprograms-2011\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('iwasaki-morimoto-takano-pruningwithimprovingsequenceinlazyfunctionalprograms-2011')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{is1,\n  author          = {Iwasaki, H. and  Morimoto, T. and Takano, Y.},\n  title           = {Pruning with Improving Sequence in Lazy Functional Programs},\n  journal         = {Higher-Order and Symbolic Computation},\n  volume          = {24},\n  number          = {4},\n  year            = {2011年},\n  pages           = {281--309}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"----2008\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  純関数型言語の処理系における効率的な枝刈り機構の実装.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  田村知博; 高野保真;  and 岩崎英哉\n</span>\n\n  \n\n</span>\n\n  <i>情報処理学会論文誌 プログラミング</i>, 1(2): 28–41.  2008年.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/----2008\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('----2008')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{is2,\n  author          = {田村知博 and 高野保真 and 岩崎英哉},\n  title           = {純関数型言語の処理系における効率的な枝刈り機構の実装},\n  journal         = {情報処理学会論文誌 プログラミング},\n  volume          = {1},\n  number          = {2},\n  year            = {2008年},\n  pages           = {28--41}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_inproceedings\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_inproceedings')\"\n      onkeypress=\"toggleGroup('group_inproceedings')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>inproceedings</span>\n      <span class=\"bibbase_group_count\">\n        \n        (9)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"sakaji-kohana-kobayashi-takano-izumi-cardpricepredictionoftradingcardsusingmachinelearningmethods-2019\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  Card Price Prediction of Trading Cards using Machine Learning Methods.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Sakaji, H.; Kohana, M.; Kobayashi, A.; <a class=\"bibbase author link\" href=\"https://www.clas.kitasato-u.ac.jp/~takano/index_en.html\">Takano, Y.</a>;  and Izumi, K.\n</span>\n\n  \n\n</span>\n\n  In <i>The 8th International Workshop on Web Services and Social Media In conjunction with the 22th International Conference on NBiS-2019(WSSM-2019)</i>, pages 705–714, September 2019. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/sakaji-kohana-kobayashi-takano-izumi-cardpricepredictionoftradingcardsusingmachinelearningmethods-2019\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('sakaji-kohana-kobayashi-takano-izumi-cardpricepredictionoftradingcardsusingmachinelearningmethods-2019')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{cardprice,\n  author          = {Sakaji, H. and Kohana, M. and Kobayashi, A. and Takano, Y. and Izumi, K.},\n  title           = {Card Price Prediction of Trading Cards using Machine Learning Methods},\n  booktitle       = {The 8th International Workshop on Web Services and Social Media In conjunction with the 22th International Conference on NBiS-2019(WSSM-2019)},\n  year            = {2019},\n  month           = {September},\n  location        = {Oita, Japan},\n  pages           = {705--714}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"sakaji-kobayashi-kohana-takano-izumi-estimationoftagsusingvariousdataforonlinevideos-2019\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  Estimation of Tags Using Various Data for Online Videos.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Sakaji, H.; Kobayashi, A.; Kohana, M.; <a class=\"bibbase author link\" href=\"https://www.clas.kitasato-u.ac.jp/~takano/index_en.html\">Takano, Y.</a>;  and Izumi, K.\n</span>\n\n  \n\n</span>\n\n  In <i>The 33rd International Conference on Advanced Information Networking and Applications (AINA-2019)</i>, pages 301–312, March 2019. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/sakaji-kobayashi-kohana-takano-izumi-estimationoftagsusingvariousdataforonlinevideos-2019\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('sakaji-kobayashi-kohana-takano-izumi-estimationoftagsusingvariousdataforonlinevideos-2019')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{estimationtags,\n  author          = {Sakaji, H. and Kobayashi, A. and Kohana, M. and Takano, Y. and Izumi, K.},\n  title           = {Estimation of Tags Using Various Data for Online Videos},\n  booktitle       = {The 33rd International Conference on Advanced Information Networking and Applications (AINA-2019)},\n  year            = {2019},\n  month           = {March},\n  location        = {Matsue, Japan},\n  pages           = {301--312}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"kawaguchi-takano-sakuta-personalbookmanagementapplicationonblockchain-2019\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  Personal Book Management Application on Blockchain.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Kawaguchi, H.; <a class=\"bibbase author link\" href=\"https://www.clas.kitasato-u.ac.jp/~takano/index_en.html\">Takano, Y.</a>;  and Sakuta, H.\n</span>\n\n  \n\n</span>\n\n  In <i>The 33rd International Conference on Advanced Information Networking and Applications (AINA-2019)</i>, pages 388-396, March 2019. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/kawaguchi-takano-sakuta-personalbookmanagementapplicationonblockchain-2019\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('kawaguchi-takano-sakuta-personalbookmanagementapplicationonblockchain-2019')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{blockchainbooks,\n  author          = {Kawaguchi, H. and Takano, Y. and Sakuta, H.},\n  title           = {Personal Book Management Application on Blockchain},\n  booktitle       = {The 33rd International Conference on Advanced Information Networking and Applications (AINA-2019)},\n  year            = {2019},\n  month           = {March},\n  location        = {Matsue, Japan},\n  pages           = {388-396}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"takano-iijima-kobayashi-sakuta-sakaji-kohana-kobayashi-improvingdocumentsimilaritycalculationusingcosinesimilaritygraphs-2019\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  Improving Document Similarity Calculation Using Cosine-Similarity Graphs.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://www.clas.kitasato-u.ac.jp/~takano/index_en.html\">Takano, Y.</a>; Iijima, Y.; Kobayashi, K.; Sakuta, H.; Sakaji, H.; Kohana, M.;  and Kobayashi, A.\n</span>\n\n  \n\n</span>\n\n  In <i>The 33rd International Conference on Advanced Information Networking and Applications (AINA-2019)</i>, pages 512–522, March 2019. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/takano-iijima-kobayashi-sakuta-sakaji-kohana-kobayashi-improvingdocumentsimilaritycalculationusingcosinesimilaritygraphs-2019\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('takano-iijima-kobayashi-sakuta-sakaji-kohana-kobayashi-improvingdocumentsimilaritycalculationusingcosinesimilaritygraphs-2019')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{cosinesim,\n  author          = {Takano, Y. and Iijima, Y. and Kobayashi, K. and Sakuta, H. and Sakaji, H. and Kohana, M. and Kobayashi, A.},\n  title           = {Improving Document Similarity Calculation Using Cosine-Similarity Graphs},\n  booktitle       = {The 33rd International Conference on Advanced Information Networking and Applications (AINA-2019)},\n  year            = {2019},\n  month           = {March},\n  location        = {Matsue, Japan},\n  pages           = {512--522}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"takano-iwasaki-thunkrecyclingforlazyfunctionallanguagesoperationalsemanticsandcorrectness-2015\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  Thunk Recycling for Lazy Functional Languages: Operational Semantics and Correctness.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://www.clas.kitasato-u.ac.jp/~takano/index_en.html\">Takano, Y.</a>;  and Iwasaki, H\n</span>\n\n  \n\n</span>\n\n  In <i>30th ACM/SIGAPP Symposium on Applied Computing (SAC2015)</i>, pages 2079–2086, April 2015. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/takano-iwasaki-thunkrecyclingforlazyfunctionallanguagesoperationalsemanticsandcorrectness-2015\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('takano-iwasaki-thunkrecyclingforlazyfunctionallanguagesoperationalsemanticsandcorrectness-2015')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{rtsac,\n  author          = {Takano,Y. and Iwasaki,H},\n  title           = {Thunk Recycling for Lazy Functional Languages: Operational Semantics and Correctness},\n  booktitle       = {30th ACM/SIGAPP Symposium on Applied Computing (SAC2015)},\n  year            = {2015},\n  month           = {April},\n  location        = {Salamanca, Spain},\n  pages           = {2079--2086}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"morimoto-takano-iwasaki-instantlyturninganaiveexhaustivesearchintothreeefficientsearcheswithpruning-2007\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  Instantly Turning a Naive Exhaustive Search into Three Efficient Searches with Pruning.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Morimoto, T.; <a class=\"bibbase author link\" href=\"https://www.clas.kitasato-u.ac.jp/~takano/index_en.html\">Takano, Y.</a>;  and Iwasaki, H\n</span>\n\n  \n\n</span>\n\n  In <i>International Symposium on Practical Aspects of Declarative Languages</i>, volume 4354, pages 65–79, January 2007. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/morimoto-takano-iwasaki-instantlyturninganaiveexhaustivesearchintothreeefficientsearcheswithpruning-2007\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('morimoto-takano-iwasaki-instantlyturninganaiveexhaustivesearchintothreeefficientsearcheswithpruning-2007')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{mor,\n  author          = {Morimoto,T. and Takano,Y. and Iwasaki,H},\n  title           = {Instantly Turning a Naive Exhaustive Search into Three Efficient Searches with Pruning},\n  booktitle       = {International Symposium on Practical Aspects of Declarative Languages},\n  volume          = {4354},\n  year            = {2007},\n  month           = {January},\n  location        = {Nice, France},\n  pages           = {65--79}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"---javascript-2019\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  JavaScript仮想機械記述のためのドメイン特化言語.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  高野保真; 鵜川始陽;  and 岩崎英哉\n</span>\n\n  \n\n</span>\n\n  In <i>日本ソフトウェア科学会 第 21 回プログラミングおよびプログラミング言語ワークショップ論文集</i>, 3月 2019年. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/---javascript-2019\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('---javascript-2019')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{ejsvmdl,\n  author          = {高野保真 and 鵜川始陽 and 岩崎英哉},\n  title           = {JavaScript仮想機械記述のためのドメイン特化言語},\n  booktitle       = {日本ソフトウェア科学会 第 21 回プログラミングおよびプログラミング言語ワークショップ論文集},\n  year            = {2019年},\n  month           = {3月}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"---2007\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  遅延オブジェクト生成削減による関数型言語処理系の効率化.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  高野保真;  and 岩崎英哉\n</span>\n\n  \n\n</span>\n\n  In <i>日本ソフトウェア科学会 第 24 回大会論文集</i>, 9月 2007年. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/---2007\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('---2007')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{rtsoftware,\n  author          = {高野保真 and 岩崎英哉},\n  title           = {遅延オブジェクト生成削減による関数型言語処理系の効率化},\n  booktitle       = {日本ソフトウェア科学会 第 24 回大会論文集},\n  year            = {2007年},\n  month           = {9月},\n  location        = {奈良, 日本},\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"--improvingsequencescheme-2006\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  Improving Sequenceを第一級の対象とするSchemeコンパイラ.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  高野保真;  and 岩崎英哉\n</span>\n\n  \n\n</span>\n\n  In <i>日本ソフトウェア科学会 第8回プログラミングおよびプログラミング言語ワークショップ論文集</i>, pages 153–162, 3月 2006年. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/--improvingsequencescheme-2006\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('--improvingsequencescheme-2006')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{is3,\n  author          = {高野保真 and 岩崎英哉},\n  title           = {Improving Sequenceを第一級の対象とするSchemeコンパイラ},\n  booktitle       = {日本ソフトウェア科学会 第8回プログラミングおよびプログラミング言語ワークショップ論文集},\n  year            = {2006年},\n  month           = {3月},\n  location        = {滋賀，日本},\n  pages           = {153--162},\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_masterthesis\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_masterthesis')\"\n      onkeypress=\"toggleGroup('group_masterthesis')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>masterthesis</span>\n      <span class=\"bibbase_group_count\">\n        \n        (1)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"-improvingsequencescheme-2006\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  Improving Sequenceを第一級の対象とするScheme処理系.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  高野保真\n</span>\n\n  \n\n</span>\n\n  3月 2006年.<!-- NOTE FROM BIBBASE: This entry has an invalid bibtex entry type: masterthesis. Therefore, we don't know how to render it properly. Please consider fixing this. -->\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/-improvingsequencescheme-2006\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('-improvingsequencescheme-2006')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@masterthesis{masterthesis,\n  author  = {高野保真},\n  title   = {Improving Sequenceを第一級の対象とするScheme処理系},\n  school  = {電気通信大学大学院電気通信学研究科，修士（工学）},\n  year    = {2006年},\n  month   = {3月}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_misc\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_misc')\"\n      onkeypress=\"toggleGroup('group_misc')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>misc</span>\n      <span class=\"bibbase_group_count\">\n        \n        (11)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"----javascript-2020\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  JavaScript仮想機械記述言語のコンパイラにおける型に基づく最適化.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  平澤祐太; 岩崎英哉; 鵜川始陽;  and 高野保真\n</span>\n\n  \n\n</span>\n\n  6月 2020年.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/----javascript-2020\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('----javascript-2020')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@misc{esjvmdl2,\n  author          = {平澤祐太 and 岩崎英哉 and 鵜川始陽 and 高野保真},\n  title           = {JavaScript仮想機械記述言語のコンパイラにおける型に基づく最適化},\n  booktitle       = {情報処理学会 第129回プログラミング研究会},\n  year            = {2020年},\n  month           = {6月},\n  location        = {オンライン}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"----vr-2019\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  VRを用いた筋力トレーニングにおけるプロテウス効果.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  石川貴一; 粕野悠聖; 高野保真;  and 佐久田博司\n</span>\n\n  \n\n</span>\n\n  3月 2019年.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/----vr-2019\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('----vr-2019')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@misc{vrproteus,\n  author          = {石川貴一 and 粕野悠聖 and 高野保真 and 佐久田博司},\n  title           = {VRを用いた筋力トレーニングにおけるプロテウス効果},\n  booktitle       = {情報処理学会 研究報告ヒューマンコンピュータインタラクション（HCI）, 2019-HCI-182},\n  year            = {2019年},\n  month           = {3月},\n  number          = {2},\n  pages           = {2--5}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"------2019\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  様々なデータを用いた動画タグの予測.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  坂地泰紀; 小林暁雄; 小花聖輝; 高野保真;  and 和泉潔\n</span>\n\n  \n\n</span>\n\n  2月 2019年.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/------2019\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('------2019')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@misc{sakajitag,\n  author      = {坂地泰紀 and 小林暁雄 and 小花聖輝 and 高野保真 and 和泉潔},\n  title       = {様々なデータを用いた動画タグの予測},\n  institution = {電子情報通信学会技術研究報告 人工知能と知識処理研究会 （AI）},\n  year        = {2019年},\n  month       = {2月},\n  pages       = {71--75}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"----hololenswifi-2019\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  Hololensを用いたWi-Fi接続情報の可視化.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  小林将弥; 大澤和哉; 高野保真;  and 佐久田博司\n</span>\n\n  \n\n</span>\n\n  1月 2019年.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/----hololenswifi-2019\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('----hololenswifi-2019')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@misc{wifiholo,\n  author          = {小林将弥 and 大澤和哉 and 高野保真 and 佐久田博司},\n  title           = {Hololensを用いたWi-Fi接続情報の可視化},\n  booktitle       = {情報処理学会 研究報告ヒューマンコンピュータインタラクション（HCI）, 2019-HCI-181},\n  year            = {2019年},\n  month           = {1月},\n  number          = {16},\n  pages           = {1--6}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"------2019\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  アバタ媒介型見守りシステムにおけるモーションキャプチャ情報を用いた機械学習の利用.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  小田俊平; 高野保真; 尾花謙伍; 長谷川大;  and 佐久田博司\n</span>\n\n  \n\n</span>\n\n  1月 2019年.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/------2019\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('------2019')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@misc{avator,\n  author          = {小田俊平 and 高野保真 and 尾花謙伍 and 長谷川大 and 佐久田博司},\n  title           = {アバタ媒介型見守りシステムにおけるモーションキャプチャ情報を用いた機械学習の利用},\n  booktitle       = {情報処理学会 研究報告ヒューマンコンピュータインタラクション（HCI），2019-HCI-181},\n  year            = {2019年},\n  month           = {1月},\n  number          = {10},\n  pages           = {1--5}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"---smt-2018\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  機械学習を用いたSMTソルバの自動選択と自動チューニングに向けて.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  高野保真; 坂地泰紀;  and 佐藤重幸\n</span>\n\n  \n\n</span>\n\n  8月 2018年.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/---smt-2018\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('---smt-2018')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@misc{smtpre,\n  author          = {高野保真 and 坂地泰紀 and 佐藤重幸},\n  title           = {機械学習を用いたSMTソルバの自動選択と自動チューニングに向けて},\n  booktitle       = {日本ソフトウェア科学会 第35回大会論文集},\n  year            = {2018年},\n  month           = {8月},\n  location        = {大阪，日本}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"---2017\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  研究・教育用途の関数型プログラミング言語処理系を構築するためのフレームワークの実現に向けて.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  高野保真;  and 千代英一郎\n</span>\n\n  \n\n</span>\n\n  1月 2017年.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/---2017\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('---2017')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@misc{cslambda,\n  author          = {高野保真 and 千代英一郎},\n  title           = {研究・教育用途の関数型プログラミング言語処理系を構築するためのフレームワークの実現に向けて},\n  booktitle       = {情報処理学会 第58回プログラミング・シンポジウム},\n  year            = {2017年},\n  month           = {1月},\n  location        = {神奈川，日本}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"---rdf-2017\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  大規模RDFデータに対するクエリ分散処理における値域情報利用の検討.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  金子舟; 千代英一郎;  and 高野保真\n</span>\n\n  \n\n</span>\n\n  1月 2017年.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/---rdf-2017\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('---rdf-2017')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@misc{rdfpro,\n  author          = {金子舟 and 千代英一郎 and 高野保真},\n  title           = {大規模RDFデータに対するクエリ分散処理における値域情報利用の検討},\n  booktitle       = {情報処理学会 第58回プログラミング・シンポジウム},\n  year            = {2017年},\n  month           = {1月},\n  location        = {神奈川，日本}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"----2016\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  変数値域を限定した試行に基づく高次制約問題の充足可能性推定方法の検討.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  中山寛己; 高野保真;  and 千代英一郎\n</span>\n\n  \n\n</span>\n\n  6月 2016年.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/----2016\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('----2016')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@misc{smtnak,\n  author          = {中山寛己 and 高野保真 and 千代英一郎},\n  title           = {変数値域を限定した試行に基づく高次制約問題の充足可能性推定方法の検討},\n  booktitle       = {情報処理学会 第109回プログラミング研究会},\n  year            = {2016年},\n  month           = {6月},\n  location        = {静岡，日本}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"----2012\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  関数型言語処理系における遅延オブジェクト再利用機構の意味論と実行効率の改善.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  高野保真; 岩崎英哉;  and 鵜川始陽\n</span>\n\n  \n\n</span>\n\n  10月 2012年.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/----2012\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('----2012')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@misc{rtprobad,\n  author          = {高野保真 and 岩崎英哉 and 鵜川始陽},\n  title           = {関数型言語処理系における遅延オブジェクト再利用機構の意味論と実行効率の改善},\n  booktitle       = {情報処理学会 第91回プログラミング研究会},\n  year            = {2012年},\n  month           = {10月},\n  location        = {神奈川，日本}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"----2004\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  特定のフォーマットに依存しない文書処理系の設計と実装.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  高野保真; 岩崎英哉;  and 河野健二\n</span>\n\n  \n\n</span>\n\n  1月 2004年.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/----2004\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('----2004')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@misc{latexhtmlscheme,\n  author          = {高野保真 and 岩崎英哉 and 河野健二},\n  title           = {特定のフォーマットに依存しない文書処理系の設計と実装},\n  booktitle       = {情報処理学会 第 47 回プログラミング研究会},\n  year            = {2004年},\n  month           = {1月},\n  location        = {京都，日本}\n}\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_phdthesis\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_phdthesis')\"\n      onkeypress=\"toggleGroup('group_phdthesis')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>phdthesis</span>\n      <span class=\"bibbase_group_count\">\n        \n        (1)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"--2015\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  遅延評価に基づく関数型言語におけるメモリ割当量の削減.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  高野保真\n</span>\n\n  \n\n</span>\n\n  Ph.D. Thesis, 電気通信大学大学院情報理工学研究科，博士（工学）, 9月 2015年.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/--2015\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('--2015')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@phdthesis{phdthesis,\n  author      = {高野保真},\n  title       = {遅延評価に基づく関数型言語におけるメモリ割当量の削減},\n  school      = {電気通信大学大学院情報理工学研究科，博士（工学）},\n  year        = {2015年},\n  month       = {9月}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_proceedings\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_proceedings')\"\n      onkeypress=\"toggleGroup('group_proceedings')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>proceedings</span>\n      <span class=\"bibbase_group_count\">\n        \n        (1)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"takano-iwasaki-ugawa-reducingthunksforrecursivedatastructuresinlazyfunctionalprograms-2011\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  Reducing Thunks for Recursive Data Structures in Lazy Functional Programs.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://www.clas.kitasato-u.ac.jp/~takano/index_en.html\">Takano, Y.</a>; Iwasaki, H.;  and Ugawa, T.\n</span>\n\n  \n\n</span>\n\n  September 2011.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/takano-iwasaki-ugawa-reducingthunksforrecursivedatastructuresinlazyfunctionalprograms-2011\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('takano-iwasaki-ugawa-reducingthunksforrecursivedatastructuresinlazyfunctionalprograms-2011')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@proceedings{rthiw,\n  author          = {Takano, Y. and Iwasaki, H. and Ugawa, T.},\n  title           = {Reducing Thunks for Recursive Data Structures in Lazy Functional Programs},\n  booktitle       = {Haskell Implementation Workshop 2011},\n  year            = {2011},\n  month           = {September},\n  location        = {Tokyo, Japan}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n\n\n\n  </div>\n\n\n  <!-- Modal -->\n\n  <!-- <iframe id=\"bibbase_network_frame\" -->\n  <!--         src=\"//bibbase.org/network/control\" -->\n  <!--         style=\"display: none;\"> -->\n  <!-- </iframe> -->\n\n</div>\n"}; document.write(bibbase_data.data);