トップ   編集 凍結 差分 バックアップ 添付 複製 名前変更 リロード   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSS

Research Reports (Series C: Computer Science)

Dept. of Math. and Comp. Sciences

Linguistic Regularities from Multiple Samples

ID: C-283 (February,2016)
Author: Aleksandr Drozd and Satoshi Matsuoka
Email: alex@smg.is.titech.ac.jp
Document: http://www.is.titech.ac.jp/research/research-report/C/C-283.pdf

We present a simple method for better retrieval of analogical relations from word embeddings by learning from the multiple related pairs of words. We provide performance evaluation of the proposed method in comparison with the state-of-the-art approaches based on vector offset.

Intuitionistic fragment of the lambda mu calculus

ID: C-282 (March, 2015)
Author: Naosuke Matsuda
Email: matsuda. naosuke (at) gmail. com
Document: http://www.is.titech.ac.jp/research/research-report/C/C-282.pdf

Parigot gave an elegant proof system "the lambda mu calculus" for classical logic, and gave a correspondence between classical logic and some kind of program structures which the lambda calculus cannot capture. Although the correspondence is due to the power of inference rules of the lambda mu calculus, some of those rules are admissible in some intuitionistic proof systems. It therefore must be natural to ask whether it is possible to extend the correspondence between intuitionistic logic and program structures. In this paper, we give a partial answer to this question by giving a natural subsystem of the lambda mu calculus which corresponds to intuitionistic logic and investigating it.


ID: C-281 (November, 2014)
Author: Naosuke Matsuda
Email: matsuda. naosuke (at) gmail. com
Document: http://www.is.titech.ac.jp/research/research-report/C/C-281.pdf

TLJ is a proof system for intuitionistic logic which has connections to many other areas of computer science and mathematics. In this paper, to make the base of those studies, we give a proof theoretic study on this system.

The First Eigenvalue of (c, d)-Regular Graph

ID: C-280 (July, 2012)
Author: Kotaro Nakagawa and Hiroki Yamaguchi
Email: watanabe(at)is. titech. ac. jp
Document: http://www.is.titech.ac.jp/research/research-report/C/C-280.pdf

We show a phase transition of the first eigenvalue of random (c,d)-regular graphs, whose instance of them consists of one vertex with degree c and the other vertices with degree d for c > d. We investigate a reduction from the first eigenvalue analysis of a general (c,d)-regular graph to that of a tree, and prove that, for any fixed c and d, and for a graph G chosen from the set of all (c,d)-regular graphs with n vertices uniformly at random, the first eigenvalue of G is approximately max(d, c/sqrt{c-d+1}) with high probability.

Completeness of Hilbert-style axiomatization for the extended computation tree logic ECTL

ID: C-279 (March, 2012)
Author: Ryo Kashima
Email: kashima(at)is.titech.ac.jp
Document: http://www.is.titech.ac.jp/research/research-report/C/C-279.pdf

We give a complete Hilbert-style axiomatization for ECTL, which is an extension of the Computation Tree Logic (CTL) with a modal operator ``infinitely often along some path''.

A Projection-Based Method for Interactive Visual Exploration of Complex Graphs in A Three-Dimensional Space

ID: C-278 (February, 2012)
Author: Masanori Takami, Hiroshi Hosobe, Ken Wakita
Email: wakita(at)is. titech. ac. jp
Document: http://www.is.titech.ac.jp/research/research-report/C/C-278.pdf

Complex networks can be hard for us human beings to conceptually grasp. We propose a new graph visualization method, which projects the static high-dimensional layout of a complex graph onto a two-, three-, or higher-dimensional space and allows viewers to explore the graph by interactively altering the way the layout is projected. The viewer could visually ``untangle'' what initially appeared to be a tight knot --- a simply impossible operation in conventional methods, with which you could just either zoom in or rotate. This is made possible by interpreting the user's action as a rotation command of the original graph in its original space and then re-projecting it onto the target space. This work extends Hosobe's previous work, whose target space could only be two dimensional, not three dimensional. The theoretical foundation of our technique and the lessons acquired from our early prototype are presented.

Applying DominoJ to GoF Design Patterns

ID: C-277 (December, 2011)
Author: YungYu? Zhuang and Shigeru Chiba
Email: Zhuang(at)csg.is.titech.ac.jp
Document: http://www.is.titech.ac.jp/research/research-report/C/C-277.pdf

In this report we study practical effectiveness of method slot, which is a new language construct integrating events and methods. We use its language implementation, DominoJ, to implement design patterns in the GoF book, and found that 16 out of 23 patterns can benefit from it. Here we list down the sample code in Java and DominoJ for the 16 patterns, and discuss the benefits.

Message Passing Algorithms for MLS-3LIN Problem

ID: C-276 (October, 2011)
Author: Osamu Watanabe
Email: watanabe(at)is. titech. ac. jp
Document: http://www.is.titech.ac.jp/research/research-report/C/C-276.pdf

MLS-3LIN problem is a problem of finding a most likely solution for a given system of perturbed 3LIN-equations under a certain planted solution model. This problem is essentially the same as MAX-3XORSAT problem. We investigate the average-case performance of message passing algorithms for this problem, where input instances are generated under the planted solution model with equation probability p and perturbation probability q. For some variant of a typical message passing algorithm, we prove that p=Theta(1/(nln n)) is the threshold for the algorithm to work w.h.p.for any fixed constant q<1/2.

Fourier Approximation under Non-uniform Distribution

ID: C-275 (September, 2011)
Author: Hiroki Yamaguchi
Email: yamaguc6(at)is. titech. ac. jp
Document: http://www.is.titech.ac.jp/research/research-report/C/C-275.pdf

We propose a generalization of a PAC-learning algorithm known as the Low Degree Learning Algorithm for non-uniform distributions. We show that our algorithm works under a non-uniform distribution D if the smallest eigenvalue of the Fourier coefficient matrix of the distribution is not too small. We also show that this condition is guaranteed if there are few examples which appear with very small probability under the distribution D.


Other reports